faineance

rowser

a best efforts web browser

zebra

Program Synthesis is Possible

fpp

Yet another FP library for python.

redismodule

Write Redis modules in Rust (WIP)

dots

dotfiles

durnecoin

super coolio ico currency

elm-compiler

Compiler for Elm, a functional language for reliable webapps.

falgebra

WIP

flrc

Haskell Research Compiler

granule

A statically typed linear functional language with graded modal types for fine-grained program reasoning

hrf

idris-zabt

Simple-minded abstract binding trees (Idris)

jekyll-google-calendar

Generate Jekyll posts from Google Calendar events

jekyll-seo-tag

A Jekyll plugin to add metadata tags for search engines and social networks to better index and display your site's content.

knight

libsnark-hs

Haskell bindings for libsnark

lpi

panopticon

A libre cross-platform disassembler.

picalc

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

RedisModulesSDK

Tools, utilities and scripts to help you write redis modules!

repline

Haskeline wrapper for GHCi-like REPL interfaces

rust

A safe, concurrent, practical language.

rust-bindgen

Automatically generates Rust FFI bindings to C and C++ libraries.

rust-typed-arena

The arena, a fast but limited type of allocator

Schools

servo

The Servo Browser Engine

shellsmith

Runtime shellcode injection

spec

WebAssembly draft specification, reference interpreter, and testsuite.

vessel

Toy container runtime, capable of running docker images