opinionated typing library for elixir
Elixir
110
397 commits
updated Apr 20, 2024
395 commits
1 commits
phadej/write-yourself-a-typed-functional-language
Write yourself a typed functional language
65
dunhamsteve/newt
A toy dependent typed language.
50
danielberkompas/elasticsearch-elixir
No-nonsense Elasticsearch library for Elixir
421
IndiscriminateCoding/clarity
Functional programming library for OCaml
59
isovector/thinking-with-types
📖 source material for Thinking with Types
497
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
128
gar1t/e2
Project that aims to simplify Erlang/OTP development and improve developer productivity
119
iu-parfunc/lvars
The LVish Haskell library
81
100.0%
