lmntal / slimLinks
slim LMNtal implementation
☆18Updated 2 months ago
Alternatives and similar repositories for slim
Users that are interested in slim are comparing it to the libraries listed below
Sorting:
- LMNtal Compiler☆20Updated 8 months ago
- SML# compiler☆246Updated last month
- Development of the CafeOBJ interpreter☆40Updated last year
- Light weight thread library☆67Updated last year
- moved from https://sourceforge.net/p/min-caml/code/☆518Updated 4 months ago
- A collection of code related to the HANSEI language☆10Updated 9 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- My sandbox for experimenting with solver algorithms.☆158Updated this week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆161Updated last year
- ☆19Updated 7 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Updated 14 years ago
- A min-caml port to Rust☆26Updated 11 months ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆29Updated 6 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Updated 5 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 8 years ago
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- Pure Type Systems for Functional Programming☆31Updated 5 years ago
- Haskell x Android☆25Updated 3 years ago
- A Hobby implementation of ML☆16Updated 10 years ago
- Programs for checking the ρ property☆17Updated 4 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Updated 7 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Updated 6 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Updated 6 years ago
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- αProlog☆18Updated 2 years ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Updated 4 years ago
- ☆26Updated 3 years ago
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Updated 12 years ago