inaimathi / serve-smlLinks
Minimal SML-based web server
☆14Updated 10 years ago
Alternatives and similar repositories for serve-sml
Users that are interested in serve-sml are comparing it to the libraries listed below
Sorting:
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last month
- miniKanren in OCaml☆31Updated 2 years ago
- SML On Stilts☆37Updated 12 years ago
- N2O: Standard ML Application Server☆18Updated 4 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 5 years ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Updated 11 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 7 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Erlang port of the Shen programming language☆26Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 4 years ago
- OCaml implementation of the DNS protocol☆110Updated 2 months ago
- LablTk, an OCaml interface for Tcl/Tk☆38Updated last year
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆50Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Updated 7 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 10 years ago
- Plan9 software ported to OCaml☆36Updated last week
- ☆38Updated 6 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Updated 10 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- OCaml backend for Agda☆39Updated 7 years ago
- ☆15Updated 2 months ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 14 years ago