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
• fare / moll
  My Own Linear Lisp
  ☆41Updated 6 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago
• rain-1 / tarot-compiler
  ☆18Updated 5 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 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 2 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 8 years ago
• kerneis / cpc
  Continuation Passing C
  ☆113Updated 6 years ago
• advancingdragon / meta
  Val Schorre's META-II
  ☆60Updated 11 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 3 months ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated 2 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• hebisch / poplog
  ☆26Updated 4 months ago
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆26Updated 13 years ago