fbergo / zseal
FICS timeseal v2 client implementation
☆19Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for zseal
- Ocaml cross-compiler for Android☆45Updated 10 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Learning Chess Engine in OCaml☆12Updated 12 years ago
- a prolog☆29Updated 13 years ago
- ant is not TeX☆23Updated 8 years ago
- Web site for standardml.org.☆36Updated last year
- SML Parser Combinator Library☆27Updated 8 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- Beating haskell with C☆11Updated 5 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- The Aldor Programming Language☆33Updated 4 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆11Updated 9 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- The MLtonLibrary repository☆34Updated last year
- Library for automatic unit testing of Standard ML modules☆72Updated 4 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆16Updated 13 years ago
- APL interpreter and stream processor☆131Updated 3 years ago
- ☆20Updated 9 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 5 years ago
- Alice ML implementation☆17Updated last year
- Convert/mirror darcs repos into git repos☆96Updated 2 weeks ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Random Access Zipper in OCaml☆13Updated 7 years ago
- Your happy place for learning APL☆16Updated last year