nadrieril Goto Github PK

24hnatation

abnf

A nom-based ABNF parser.

aeneas

A verification toolchain for Rust programs

angular-puzzle15

A little puzzle game in AngularJS

apertium-pluralize

Gets the singular and plural forms of a word/group of words

atom-language-pvs

auto-pairs

Vim plugin, insert or delete brackets, parens, quotes in pair

cclaw-zettelkasten

Notes for the CCLAW reading list in zettelkasten format

char-rnn

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

charon

Interface with the rustc compiler for the purpose of program verification

ckb-next

RGB Driver for Linux and OS X

compiler-team

A home for compiler team planning documents, meeting minutes, and other such things.

composer2nix

Generate Nix expressions to build PHP composer packages

cubirds_study

Study of the card game Cubirds.

derive-visitor

dhall-lang

The non-repetitive alternative to YAML

dhall-rust

Maintainable configuration files, for Rust users

docker-compose-salt-systemd

dotfiles

effing-mad

Algebraic effects for Rust

eth

eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

geb-dna

github-status

A dashboard to track GitHub issues & PRs

glpk-hs

Haskell bindings to glpk

graphical-algebra

hasklate

Haskell to C++ metaprogramming transpiler

hax

A Rust verification tool

hledger

The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

home-manager

Manage a user environment using Nix