alanz

followers

following

stars

UK

http://www.twitter.com/alan_zimm

Organizations

Alan Zimmerman's starred repositories

funflow

Functional workflows

Language:HaskellMIT36000

openhab-distro

The binary distribution of openHAB

Language:PowerShellEPL-2.0129100

project-m36

Project: M36 Relational Algebra Engine

Language:HaskellUnlicense87700

excalidraw-animate

A tool to animate Excalidraw drawings

Language:TypeScriptMIT121400

athens

ATHENS IS NO LONGER BEING ACTIVELY MAINTAINED. Athens is an open-source, collaborative knowledge graph.

Language:ClojureNOASSERTION631100

thankful

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

Language:TypeScriptMPL-2.011600

syb

Scrap Your Boilerplate generic programming library in Haskell

Language:HaskellNOASSERTION4300

awesome-cl

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

Language:MakefileNOASSERTION249400

gleam

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

Language:RustApache-2.01623700

temporal

Temporal service

Language:GoMIT1047300

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 LispMIT138600

nostr

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

incredible

The Incredible Proof Machine

Language:HaskellMIT35200

vscode-debug-visualizer

An extension for VS Code that visualizes data during debugging.

Language:TypeScriptGPL-3.0783800

Learn-Vim

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

NOASSERTION1326200

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 LispMIT36600

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION282900

awesome-public-datasets

A topic-centric list of HQ open datasets.

MIT5904500

stellar-core

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

Language:CNOASSERTION310500

wallet

A reference credential wallet built on Flutter and DIDKit.

Language:DartApache-2.04400

foam

A personal knowledge management and sharing system for VSCode

Language:TypeScriptNOASSERTION1498800

lfe

Lisp Flavoured Erlang (LFE)

Language:ErlangApache-2.0230000

StreetComplete

Easy to use OpenStreetMap editor for Android

Language:KotlinGPL-3.0367300

docker-hs

A Haskell library for the Docker Engine API

Language:HaskellBSD-3-Clause7700

gitpod

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

Language:TypeScriptAGPL-3.01244700

unbound-generics

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

Language:HaskellBSD-3-Clause5500

elixir_sense

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

Language:ElixirMIT29100

edamagit

Magit for VSCode

Language:TypeScriptMIT108500

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:Haskell5600

abstreet

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

Language:RustApache-2.0735300