Alternatives and similar repositories for sml-http

Users that are interested in sml-http are comparing it to the libraries listed below

• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 10 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated 2 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆58Updated last month
• diku-dk / sml-server
  Web server infrastructure for Standard ML
  ☆13Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆144Updated 2 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆35Updated 6 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆74Updated 8 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 5 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆137Updated 5 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated last year
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆32Updated 4 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆69Updated 9 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last month
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 2 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆111Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆83Updated 3 years ago
• kasiaMarek / TyRE
  ☆26Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year