Beast code in Giters

Everett Hildenbrandt's repositories

pandoc-tangle

Simple tangler for Pandoc

Language:LuaUnlicense14 5 4

reviews

Language:Makefile3 60

homod

Language:Haskell2 30

maude

Language:C++GPL-2.02 30

dotfiles

my config files

Language:Shell1 30

act

Smart contract specification language

Language:HaskellAGPL-3.0000

cpp-ethereum

Ethereum C++ client

Language:C++GPL-3.0010

ctl-optim

020

diff_calc

Language:Haskell030

dss

Dai Stablecoin System

Language:SolidityAGPL-3.0000

ethereum-tests

Common tests for all Ethereum implementations

Language:JavaScriptMIT000

git-ci

Tools for CI servers centered around Git

Language:ShellBSD-3-Clause010

gll

Language:HaskellNOASSERTION030

hledger

The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.

Language:HaskellGPL-3.0010

k-dss

formal verification of multicollateral dai in the K framework

Language:GCC Machine DescriptionAGPL-3.0000

k-tutorial

Language:Standard ML010

klab

Language:JavaScriptAGPL-3.0000

leap-contracts

LeapDAO's implementation of More Viable Plasma / Plasma Leap

Language:JavaScriptMPL-2.0000

maude_logics

010

mauke

Language:Haskell010

oppen-bus

Language:Shell010

pandoc

Universal markup converter

Language:HaskellNOASSERTION020

phs

Language:Python010

psi

Exact Inference Engine for Probabilistic Programs

Language:MathematicaBSL-1.0010

purring-simulator

Language:Shell010

smart-contracts

Language:JavaScriptGPL-3.0000

sol-comp

MIT010

testing-harness

Language:Shell020

time-quote

Language:HaskellGPL-3.0010

truffle-plugin-firefly

Language:JavaScript020