kfl / webserver-functorLinks
Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
☆13Updated 11 years ago
Alternatives and similar repositories for webserver-functor
Users that are interested in webserver-functor are comparing it to the libraries listed below
Sorting:
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- αProlog☆18Updated 2 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- ☆22Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆63Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Experimental functional language☆17Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Updated 6 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- For supporting template-based programming☆21Updated 5 years ago
- Minimal SML-based web server☆14Updated 10 years ago
- 🧊 TeX-подібна система верстки наукових праць☆19Updated 3 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Program verification with F* course materials☆12Updated 6 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last month
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated 2 months ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year