Lists (30)
agda
3 repositories
Arduino
1 repository
BIM
1 repository
C
15 repositories
cardano
2 repositories
clojure
13 repositories
common-lisp
9 repositories
elixir
1 repository
emacs
2 repositories
erlang
2 repositories
foss
2 repositories
game
1 repository
go
1 repository
Haskell
48 repositories
js
3 repositories
Lisp
3 repositories
Low level
4 repositories
misc
9 repositories
nix
5 repositories
Ocaml
1 repository
papers
2 repositories
PLT
29 repositories
Plutus
6 repositories
Purescript
2 repositories
ruby
1 repository
rust
6 repositories
scala
1 repository
stack languages
1 repository
unix
1 repository
zig
1 repository
Starred repositories
SQL Storage implementation for DataScript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
Liquid Crystal Library for Arduino
Collection of quotes on notation design & how it affects thought.
Experimental ClojureScript to ES6 module compiler
Setting up Datomic Pro for Docker with Docker Compose.
A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
A project-local library installer for Common Lisp
Starter kit for new RealWorld framework implementations
A functional effect and streaming system for Clojure/Script
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
intended to be a launcher for a major lisp environment that just works.
A beautiful, simple, clean, and responsive Jekyll theme for academics
Nix - Static, Permissionless, Installation-free, Pre-configured
A comprehensive LFE rebar3 plugin for all your LFE tooling needs
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
A library for parsing, manipulating, and serializing data structured as JSON.
Control all your tooling from a single console
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
OpenTofu lets you declaratively manage your cloud infrastructure.
A friendly programming language from the future