imuli Goto Github PK

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

anic

Compiler for the dead language ANI

bases

Fast Haskell Encodings and Decodings for various bases.

bestbits

code snippet collection in meteor

blake3

the official Rust and C implementations of the BLAKE3 cryptographic hash function

boggle

Tiny fast boggle with customizable wordlist.

bountysource-extension

Bountysource browser extension.

candid-wanderings

dependently typed programming language with timeless referential transparently

candid.red

website for candid

cautious-octopus

complete food design tools

chunk-templates

Chunk Templates, a template engine for Java

clozecards

ClozeCards Beta.

compdata

Haskell library implementing "Data Types a la Carte"

connectors_anderson.pretty

KICAD models for Anderson Powerpole PCB Connectors

crypto-conduit

Conduit interface for cryptographic operations (from crypto-api).

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

decentpatterns-website

dhall-haskell

Maintainable configuration files

doit

task management & automation tool

elm-compiler

Compiler for Elm, a functional language for reliable webapps.

endarken

Invert the luminosity of websites.

err

Locale sensitive error messages for Haskell

fab

Fabricating Adaptive Builders

firth

bootstrapping a private forth

flow

musings on programming with directed acyclic graphs.

fulfills

Existential types for data fulfilling constraints.

gearvrf-demos

Collection of GearVRf demo apps

geosolver-python

gitit

A wiki using HAppS, pandoc, and git

go-semantic

Go library for writing SemanticMerge external parsers