An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
☆16May 30, 2022Updated 4 years ago
Alternatives and similar repositories for fortress
Users that are interested in fortress are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆19Oct 27, 2023Updated 3 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Translate PBS batch scripts to Slurm☆11Sep 11, 2024Updated 2 years ago
- Dynamic Programming Repository - From Basics to Absolute Magic.☆19Oct 8, 2016Updated 10 years ago
- a Coq toolkit for graph theory☆14Oct 18, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- K42 Kernel☆34May 11, 2012Updated 14 years ago
- A 1-3D shape function library composing the Exact Sequence for Elements of All Shapes☆15Nov 6, 2023Updated 2 years ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Process-in-Process☆18Apr 21, 2021Updated 5 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆40Updated this week
- GI1MIC $19 DSP Filter - modify or design your own custom audio filters for Morse and SSB☆18Jun 11, 2017Updated 9 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆49Aug 22, 2024Updated 2 years ago
- looking for the stars -- tracking starred github repo's latest releases☆10Apr 9, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A 3D Method of Characteristics (MOC) reactor simulation Mini-App featuring MPI and OpenMP parallelism☆17Jan 4, 2023Updated 3 years ago
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 7 years ago
- Dynamic authoritative name server☆10Feb 21, 2024Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 2 months ago
- A non-normative turtle-formatted ontology version of the Activity Streams 2.0 vocabulary☆11Dec 10, 2023Updated 2 years ago
- ☆12Jul 8, 2017Updated 9 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Oct 9, 2017Updated 9 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 7 years ago
- Mimir is a new implementation of MapReduce over MPI. Mimir inherits the core principles of existing MapReduce frameworks, such as MR-MPI,…☆21Nov 12, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 7 years ago
- Reason Implementation of a Player Highscore List☆14Oct 28, 2017Updated 9 years ago
- LÖVE Template For YueScript☆14Jun 24, 2025Updated last year
- GLFW binding for Duktape☆12Mar 28, 2018Updated 8 years ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆10Oct 16, 2024Updated 2 years ago
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- Tools for RDF☆14Jan 3, 2023Updated 3 years ago
- Haxe - The Cross-Platform Toolkit☆12Jul 30, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Wicked Good XPath as an NPM package☆16Apr 1, 2016Updated 10 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Beef Programming Language☆17Jun 4, 2024Updated 2 years ago
- PMIx Standard Document☆26Nov 6, 2025Updated 11 months ago
- Patent-Inventor Disambiguation using C++☆12Aug 18, 2011Updated 15 years ago
- Yet another programming language☆10Jan 25, 2025Updated last year
- a programming language☆11Dec 1, 2016Updated 9 years ago