sml-nj-historical / smlnj
The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
☆29Updated 6 years ago
Alternatives and similar repositories for smlnj:
Users that are interested in smlnj are comparing it to the libraries listed below
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 2 months ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆37Updated 2 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 5 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- EGraphs in OCaml☆64Updated last year
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A pretty-printing combinator library for OCaml☆49Updated 8 months ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- ☆43Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Gallina to Bedrock2 compilation toolkit☆53Updated last week
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- An interactive theorem prover based on lambda-tree syntax☆94Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- LL(1) parser generator verified in Coq☆46Updated 5 years ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated 2 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- SML reference interpreter☆112Updated last year
- Parallel ML compiler☆72Updated 4 years ago
- The Twelf Programming Language☆122Updated 2 months ago