stokito / fortress-langLinks
☆57Updated 8 years ago
Alternatives and similar repositories for fortress-lang
Users that are interested in fortress-lang are comparing it to the libraries listed below
Sorting:
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 9 months ago
- My Own Linear Lisp☆42Updated 7 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- ☆18Updated 6 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆61Updated 16 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- ☆26Updated 2 months ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 6 months ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A compiler for an Ada-like language☆32Updated 5 months ago
- ☆19Updated 2 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆14Updated 2 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 5 months ago
- Stackless Joy☆23Updated 6 months ago
- the Meta-II VM in C☆20Updated 10 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 3 weeks ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- Le-Lisp by INRIA☆34Updated 2 years ago
- Val Schorre's META-II☆61Updated 12 years ago