Beast code in Giters

Alan Zimmerman's starred repositories

faas

OpenFaaS - Serverless Functions Made Simple

Language:GoMIT25027 482 847

direnv

unclutter your .profile

Language:GoMIT12310 84 703

vscode-extension-samples

Sample code illustrating the VS Code extension API.

Language:TypeScriptMIT8614 175 522

cjdns

An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.

Language:CGPL-3.05172 2990

stack

The Haskell Tool Stack

Language:HaskellBSD-3-Clause3979 99 4345

gluon

A static, type inferred and embeddable language written in Rust.

Language:RustMIT3201 59 400

klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Language:HTMLGPL-3.03104 55 180

bookwyrm

Social reading and reviewing, decentralized with ActivityPub

Language:PythonNOASSERTION2232 32 1309

org-roam-ui

A graphical frontend for exploring your org-roam Zettelkasten

Language:TypeScriptGPL-3.01943 34 217

ChrysaLisp

Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...

Language:C++GPL-2.01613 74 125

yi

The Haskell-Scriptable Editor

Language:HaskellGPL-2.01505 59 787

quote

Rust quasi-quoting

Language:RustApache-2.01304 17 156

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Language:RustMIT1248 17 76

SICL

A fresh implementation of Common Lisp

Language:TeXNOASSERTION1063 75 76

sync

On-the-fly recompiling and reloading in Erlang. Code without friction.

Language:ErlangMIT748 43 40

orgro

An Org Mode app for iOS and Android

Language:DartGPL-3.0474 19 93

doctest

An implementation of Python's doctest for Haskell

Language:HaskellMIT371 12 203

scalpel

A high level web scraping library for Haskell.

Language:HaskellApache-2.0323 13 64

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Language:Emacs LispGPL-3.0268 26 233

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

Language:HaskellBSD-3-Clause201 6 37

rigpa

A metacircular modal UI framework.

Language:Emacs Lisp160 16 13

free

free monads

Language:HaskellNOASSERTION160 19 82

Marpa--R2

Parse any language you can describe in BNF

Language:PerlNOASSERTION157 13 156

json-autotype

Automatic Haskell type inference from JSON input

Language:Haskell150 8 38

formulog

Datalog with support for SMT queries and first-order functional programming

Language:JavaApache-2.0149 13 24

emacs-inspector

Inspection tool for Emacs Lisp objects.

Language:Emacs LispGPL-3.0102 4 23

programmable-matter

A dynamic data-driven document development environment (DDDDDE)

Language:TypeScript78 6 13

HieDb

Generates a references DB from .hie files

Language:HaskellBSD-3-Clause64 6 29

servant-swagger-ui

Provide embedded swagger UI for servant and swagger

Language:JavaScript45 6 24

cabal-cache

CI assistant

Language:HaskellBSD-3-Clause44 9 23