pluckyporcupine / fortressLinks
An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
☆15Updated 3 years ago
Alternatives and similar repositories for fortress
Users that are interested in fortress are comparing it to the libraries listed below
Sorting:
- ☆56Updated 8 years ago
- ☆71Updated 5 years ago
- ☆34Updated 4 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆14Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- An attribute grammar-based programming language for composable language extensions☆63Updated this week
- High-end Cryptographic Library☆44Updated 5 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- Operations with matrices, SWI pack☆13Updated last year
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Small Prolog☆12Updated 8 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 7 years ago
- A compiler for an Ada-like language☆33Updated 2 months ago
- purple: compiling a reflective language☆33Updated 9 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 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 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago