Lists (30)
acoustics
4 repositories
AI/ML
67 repositories
Arweave
17 repositories
audio
18 repositories
Auth
3 repositories
Backend
18 repositories
CC0
1 repository
CRDT/Multi-Player
2 repositories
Crypto
29 repositories
Dataflow
8 repositories
DB
Database and database tooling7 repositories
Design
30 repositories
Education
2 repositories
5 repositories
farcaster
1 repository
Frontend
23 repositories
Future
20 repositories
Games
3 repositories
Identity
1 repository
Indexers
21 repositories
Music
25 repositories
Personal
1 repository
plugin-dev
All things audio DSP and GUI. Mostly C/++12 repositories
Python
3 repositories
React
42 repositories
React Native
7 repositories
Smart Contracts
32 repositories
Starters
1 repository
Tooling
Dev tooling, mostly for VIM/NeoVIM.21 repositories
Types
Stuff for working with types, mostly in Typescript.10 repositories
Starred repositories
12
stars
written in Haskell
Clear filter
A friendly programming language from the future
A Dependently Typed Functional Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
Haskell to VHDL/Verilog/SystemVerilog compiler
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
A peer-to-peer stack for code collaboration
A DSL for embedded hard realtime applications.
A Haskell implementation of the Tor protocol.