GabrielDosReis / open-axiom

Related projects: ⓘ

• dubrousky / mockmma
  ☆28Updated 6 years ago
• jsoftware / qtide
  Qt IDE
  ☆44Updated 2 weeks ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆38Updated last week
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆71Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 2 months ago
• wkoszek / cweb
  The CWEB System of Structured Documentation
  ☆29Updated 8 years ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆34Updated 3 weeks ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆62Updated last year
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆28Updated 2 weeks ago
• stlab / eop-parser
  Parser for language from Elements of Programming
  ☆38Updated 10 years ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆12Updated 2 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 10 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆26Updated 5 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 7 months ago
• mikea / scheme-llvm
  ☆44Updated 7 years ago
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 4 years ago
• calebegg / proof-pad-classic
  An IDE for ACL2
  ☆21Updated 4 years ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆37Updated 3 weeks ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆81Updated 4 years ago
• weinholt / machine-code
  ☆28Updated this week
• rtoy / cmucl
  This is a mirror of the official cmucl repo at gitlab.common-lisp.net
  ☆28Updated 3 weeks ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆35Updated 2 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 7 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• zhangxiaojie / tiny-scheme
  an experimental optimizing Scheme compiler
  ☆9Updated 13 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆35Updated 10 years ago