diku-dk / sml-http
HTTP utility library for Standard ML
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sml-http
- Web server infrastructure for Standard ML☆13Updated last year
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- Standard ML Parser Combinator Library☆15Updated 2 months ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Signature documentation tool for Standard ML☆14Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- A pure type system implemented in OCaml☆77Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- An experimental language server for SomewhatML☆24Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- A deterministic parser with fused lexing☆71Updated last year
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Updated 10 months ago
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 3 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- SML reference interpreter☆112Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Work in progress on semi-simplicial types☆23Updated last year
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated last month