brezal Goto Github PK

peppercornenumerator

domain-level nucleic acid reaction enumeration

piperine

Piperine compiles abstract CRNs into DNA sequences and estimates how much the generated DNA implementations may participate in undesired DNA-DNA interactions during experiments.

plfa-book

Programming Languague Foundations in Agda exercises - https://plfa.github.io/

plfa.github.io

Introduction to programming language theory in Agda

prody

A Python Package for Protein Dynamics Analysis

proofofconcept

PoC for renting non-fungible tokens

proofsweeper

Play Minesweeper by formally proving your moves in Idris

purescript-thermite

A simple PureScript wrapper for React

pwa-bugs

🚔 List of PWA Bugs and workarounds

real-world-reflex

Real World Reflex Presentation

revocable-self-signed-tls-certificates-hack

As a proof-of-concept, we will show how easy it is to revoke a self-signed certificate using the bitcoin blockchain. This will also demonstrate how we may be able to use similar approaches for more advanced capabilities that current X.509 infrastructure do not.

rholang

A reflective, higher-order process language

ribolands

energy landscapes and folding kinetics of nucleic acids

ring-buffer

A concurrent mutable ring-buffer

session-types-use-cases

This is a common repository for the ABCD team to share use-cases of session types.

shapeoko

Open Hardware desktop CNC machine.

simple-blockchain

Simple Blockchain implementation in Haskell

smartcontracts

statra

Statra Language Specification, R&D and eventual Implementations

stickydesign

A package for designing short orthogonal and isoenergetic DNA sequences, intended for DNA tile sticky ends and often used for toeholds.

style-framework

An experimental Style Framework built on top of elm-ui

swagger-ui

Swagger UI is a dependency-free collection of HTML, Javascript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.

the-power-of-pi

Implementations of ideas in The Power of Pi.

tree-chains-paper

xgrow

Simulator package for algorithmic tile self-assembly models aTAM and kTAM, as a python package.

xray_detector

a work-in-progress x-ray detector

xtp

yesod-cookbook

Cookbook documentation