issues
search
fare
/
projects
Various projects you might work on
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Software Counterpoint
#12
fare
opened
4 years ago
0
Interactive evaluation with instant feedback
#11
fare
opened
4 years ago
1
Efficient, Incremental, Generic, Isomorphism-aware, Correct Data Structures
#10
fare
opened
4 years ago
0
DVCS+CI that remembers mistakes
#9
fare
opened
4 years ago
0
Proving Decentralized Applications Secure
#8
fare
opened
4 years ago
0
A compositional MOP for Prototype Inheritance
#7
fare
opened
4 years ago
0
Disciplined architecture for runtime control through metaprograms
#6
fare
opened
5 years ago
0
Typed support for persistence including schema upgrade
#5
fare
opened
5 years ago
0
Erlang-style Concurrency in Another Language
#4
fare
opened
5 years ago
0
A good type system for prototype inheritance
#3
fare
opened
5 years ago
1
Linear Lisp
#2
fare
opened
5 years ago
0
Guitar Anti-Hero, a.k.a. Guitar Autotune
#1
fare
opened
5 years ago
5