Lists (21)
consensus, crdt, sync
6 repositories
Cool data structures, algorithms
1 repository
Crypto algos, libs
51 repositories
edu
39 repositories
fun
6 repositories
hackerish
32 repositories
hardware
73 repositories
homelab
53 repositories
htmz
10 repositories
lambda, coc, fp
8 repositories
Lean
170 repositories
local-first
52 repositories
P2P Data structures, DBs
15 repositories
P2P Networking
11 repositories
PrettyStuff
32 repositories
Sol
6 repositories
sqlite
5 repositories
urbit
155 repositories
Utils
13 repositories
WASM
10 repositories
Zig
2 repositories
Starred repositories
22
stars
written in Haskell
Clear filter
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
💥💻💥 A data-parallel functional programming language
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
A multi-syntax functional programming language that compiles to WebAssembly.
A language for intent-centric and declarative decentralised applications
Comparing many FRP implementations by reimplementing the same toy app in each.
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
An event sourced, purely functional application platform.
Implementing a small functional language with a combinator based graph-reduction machine
vindaloo-thesis / idris-se
Forked from edwinb/idris-phpIdris to Serpent back end for Ethereum smart contracts