SML Parser Combinator Library
☆28Apr 30, 2016Updated 9 years ago
Alternatives and similar repositories for parcom
Users that are interested in parcom are comparing it to the libraries listed below
Sorting:
- A basic library of algorithms and data structures (a la NJlib)☆76Apr 1, 2025Updated 11 months ago
- Smackage Package Manager for Standard ML☆124Jun 14, 2022Updated 3 years ago
- Library for automatic unit testing of Standard ML modules☆71Jul 22, 2020Updated 5 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- ☆40May 1, 2016Updated 9 years ago
- The Twelf Programming Language☆151Jan 20, 2026Updated last month
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Web site for standardml.org.☆36Oct 17, 2023Updated 2 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- JSON Web App Framework [NOT UNDER ACTIVE DEVELOPMENT]☆62Oct 3, 2020Updated 5 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- Archived materials related to Homotopy Type Theory.☆12Apr 24, 2012Updated 13 years ago
- ☆84May 10, 2024Updated last year
- Racket libraries☆15Nov 5, 2025Updated 3 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆224Nov 25, 2022Updated 3 years ago
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 6 years ago
- Low-level OCaml/Java interface☆14Aug 12, 2024Updated last year
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- ☆11May 18, 2016Updated 9 years ago
- ☆15Feb 21, 2026Updated last week
- Javascript AST to CFG converter☆21Jun 12, 2016Updated 9 years ago
- ☆13Feb 21, 2026Updated last week
- A Rubygem for array-based scientific computations using GPGPU☆12Oct 13, 2017Updated 8 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Nov 30, 2021Updated 4 years ago
- The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution☆38Jun 16, 2025Updated 8 months ago
- Stub code generator for OCaml/C interface☆36Aug 1, 2025Updated 7 months ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- Simple PureScript CSV parser☆10Nov 29, 2022Updated 3 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Apr 17, 2024Updated last year
- [UNMAINTAINED] The Concurrent Schemer☆120Sep 25, 2015Updated 10 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Minimal SML-based web server☆14Jun 19, 2015Updated 10 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 7 months ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- ☆10Jan 24, 2016Updated 10 years ago