cannam / sml-buildscripts
Scripts to compile and run Standard ML programs defined in .mlb files.
☆16Updated last month
Alternatives and similar repositories for sml-buildscripts:
Users that are interested in sml-buildscripts are comparing it to the libraries listed below
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- company-mode completion back-end for MLton/Standard ML☆14Updated 4 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- Nanopass for OCaml☆143Updated 7 years ago
- SML reference interpreter☆113Updated last year
- SML Parser Combinator Library☆28Updated 8 years ago
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Updated last year
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Emacs support for F*☆70Updated 3 weeks ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- A basic library of algorithms and data structures (a la NJlib)☆74Updated 3 weeks ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Library for Standard ML☆55Updated 13 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- ☆40Updated last year
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- A custom parser/auto-formatter for Standard ML☆76Updated last month
- An automatic theorem prover for first order logic with equality☆31Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆37Updated 2 years ago
- Disassembler for Racket☆79Updated 2 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- An OCaml toplevel (REPL) upgrade☆89Updated 3 months ago
- SML hack day planning and coordination☆16Updated 13 years ago