f-ing-modules topic
List
f-ing-modules repositories
trafficstars
bright-ml
79
Stars
1
Forks
Watchers
A statically-typed programming language based on "F-ing modules"
Sesterl
150
Stars
5
Forks
Watchers
An ML-like statically-typed Erlang
modules
28
Stars
0
Forks
Watchers
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
seqmod
20
Stars
0
Forks
Watchers
Full implementation of F-ing Modules, with the power of sequent calculus