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 year
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- N2O: Standard ML Application Server☆18Updated 4 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 11 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- SML On Stilts☆37Updated 11 years ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Updated 4 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- ☆19Updated 3 weeks ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 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
- For supporting template-based programming☆22Updated 5 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆49Updated 11 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- ☆13Updated 2 months ago
- The Alms Programming Language☆44Updated 7 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago