Alternatives and similar repositories for fortress-lang

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

• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated last year
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 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
  ☆37Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 12 years ago
• rain-1 / tarot-compiler
  ☆18Updated 6 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 9 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 8 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• advancingdragon / meta
  Val Schorre's META-II
  ☆62Updated 12 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆95Updated 5 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆34Updated 3 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆69Updated last month
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆83Updated 5 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated 2 months ago