Lists (23)
AI
144 repositories
appointments
1 repository
audio
5 repositories
cli
2 repositories
cryptocurrency
1 repository
data
4 repositories
database
3 repositories
Go
1 repository
js/ts
47 repositories
keyboard
28 repositories
language
programming languages2 repositories
lyrics alignment
9 repositories
macOS
2 repositories
OTP
Erlang, Elixir, etc.3 repositories
php
1 repository
postgres
20 repositories
reference
6 repositories
rust
5 repositories
security
3 repositories
sofle v2
2 repositories
vim
1 repository
wasm
10 repositories
zig
30 repositories
Starred repositories
28
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
A Dependently Typed Functional Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
A programming language with static memory management based on λ-calculus
A fast functional language based on two level type theory
A toy programming language with time travel
A simple expressions language with polymorphic extensible row types.
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
Python backend for Idris (generates Python source, not bytecode).
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
An experiment in controlling the size of a thread pool using a PID controller.
A small, weird and unpractical programming language.
A streaming PostgreSQL logical replication client library for Haskell
Relay PostgreSQL notifications to user defined functions
Fast pure Haskell implementation of the PostgreSQL wire protocol