alanz

followers

following

stars

UK

http://www.twitter.com/alan_zimm

Organizations

Alan Zimmerman's starred repositories

wtf

The personal information dashboard for your terminal

Language:GoMPL-2.015503 158 537

direnv

unclutter your .profile

Language:GoMIT11797 83 686

Zettlr

Your One-Stop Publication Workbench

Language:TypeScriptGPL-3.09687 84 3117

codimd

CodiMD - Realtime collaborative markdown notes on all platforms.

Language:JavaScriptAGPL-3.09023 157 1066

cjdns

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

Language:CGPL-3.05145 2990

ohm

A library and language for building parsers, interpreters, compilers, etc.

Language:JavaScriptMIT4379 91 209

stack

The Haskell Tool Stack

Language:HaskellBSD-3-Clause3942 99 4318

lisp-koans

Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.

Language:Common LispApache-2.03079 137 40

org-roam-ui

A graphical frontend for exploring your org-roam Zettelkasten

Language:TypeScriptGPL-3.01884 35 211

ChrysaLisp

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

Language:C++GPL-2.01592 74 125

SICL

A fresh implementation of Common Lisp

Language:TeXNOASSERTION1057 74 76

leksah

Haskell IDE

Language:HaskellNOASSERTION978 48 421

sync

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

Language:ErlangMIT745 43 40

kristall

Graphical small-internet client for windows, linux, MacOS X and BSDs. Supports gemini, http, https, gopher, finger.

Language:C++GPL-3.0724 16 125

org-web-tools

View, capture, and archive Web pages in Org-mode

Language:Emacs LispGPL-3.0619 20 57

tree-edit

🌲 Structural editing in Emacs for any™ language!

Language:Emacs LispGPL-3.0381 12 59

Second-Climacs

Version 2 of the Climacs text editor.

Language:Common LispBSD-2-Clause272 30 13

ghcup-hs

Language:HaskellLGPL-3.0254 13 879

katip

A structured logging framework for Haskell

Language:Haskell202 20 84

implicit-hie

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

Language:HaskellBSD-3-Clause200 6 36

propagators

The Art of the Propagator. See also:

Language:HaskellNOASSERTION164 17 6

free

free monads

Language:HaskellNOASSERTION158 19 82

rigpa

A metacircular modal UI framework.

Language:Emacs Lisp157 15 12

json-autotype

Automatic Haskell type inference from JSON input

Language:Haskell150 8 38

emacs-inspector

Inspection tool for Emacs Lisp objects.

Language:Emacs LispGPL-3.096 4 21

programmable-matter

A dynamic data-driven document development environment (DDDDDE)

Language:TypeScript74 6 13

vellum

Data Frames for Common Lisp

Language:Common LispBSD-2-Clause72 8 20

Lisp-Actors

Thread-agnostic Actors in Common Lisp

Language:Common LispUnlicense67 13 2

buck2-nix

Do not taunt happy fun ball

Language:Starlark57 9 14

hackage-matrix-builder

Massive Hackage CI for building Hackage package versions against multiple GHC versions

Language:HaskellGPL-3.024 7 53