alanz

followers

following

stars

UK

http://www.twitter.com/alan_zimm

Organizations

Alan Zimmerman's starred repositories

awesome-public-datasets

A topic-centric list of HQ open datasets.

MIT59430 2270 113

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustApache-2.016736 88 1775

foam

A personal knowledge management and sharing system for VSCode

Language:TypeScriptNOASSERTION15072 121 686

Learn-Vim

Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖

NOASSERTION13355 194 44

gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.

Language:GoAGPL-3.012556 144 8682

temporal

Temporal service

Language:GoMIT10739 103 1209

nostr

a truly censorship-resistant alternative to Twitter that has a chance of working

vscode-debug-visualizer

An extension for VS Code that visualizes data during debugging.

Language:TypeScriptGPL-3.07850 111 128

abstreet

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

Language:RustApache-2.07385 76 554

athens

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

Language:ClojureNOASSERTION6315 103 782

StreetComplete

Easy to use OpenStreetMap editor for Android

Language:KotlinGPL-3.03734 75 3956

stellar-core

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Language:CNOASSERTION3103 268 1679

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION2850 80 2644

awesome-cl

A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

Language:MakefileNOASSERTION2507 111 97

lfe

Lisp Flavoured Erlang (LFE)

Language:ErlangApache-2.02301 108 282

sketch

A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.

Language:Common LispMIT1391 46 76

openhab-distro

The binary distribution of openHAB

Language:PowerShellEPL-2.01297 118 661

excalidraw-animate

A tool to animate Excalidraw drawings

Language:TypeScriptMIT1230 11 25

edamagit

Magit for VSCode

Language:TypeScriptMIT1087 18 190

project-m36

Project: M36 Relational Algebra Engine

Language:HaskellUnlicense876 34 276

medley

The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)

Language:Common LispMIT369 31 873

funflow

Functional workflows

Language:HaskellMIT360 50 77

incredible

The Incredible Proof Machine

Language:HaskellMIT356 25 99

elixir_sense

Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more

Language:ElixirMIT290 13 132

thankful

Support free culture by automatically sending cryptocurrency to the creators of the content you love.

Language:TypeScriptMPL-2.0116 10 114

docker-hs

A Haskell library for the Docker Engine API

Language:HaskellBSD-3-Clause77 7 36

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:Haskell56 19 202

unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

Language:HaskellBSD-3-Clause55 5 28

wallet

A reference credential wallet built on Flutter and DIDKit.

Language:DartApache-2.044 22 37

syb

Scrap Your Boilerplate generic programming library in Haskell

Language:HaskellNOASSERTION43 4 18