Alternatives and similar repositories for fortress-lang

Users that are interested in fortress-lang are comparing it to the libraries listed below

• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 9 months ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 11 years ago
• rain-1 / tarot-compiler
  ☆18Updated 6 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆61Updated 16 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• hebisch / poplog
  ☆26Updated 2 months ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 4 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 6 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 5 months ago
• racket / honu
  ☆19Updated 2 years ago
• GunterMueller / KLIC
  KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"
  ☆14Updated 2 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 5 months ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 6 months ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆91Updated 4 years ago
• MITDDC / clu-1976-1989
  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
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 3 weeks ago
• RobertGollagher / Freeputer
  Freeputer ( ) [ ] { } forever free
  ☆40Updated 7 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 2 years ago
• advancingdragon / meta
  Val Schorre's META-II
  ☆61Updated 12 years ago