segmond / PrologThingz

Related projects: ⓘ

• codr4life / lifoo
  ☆35Updated this week
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆69Updated 2 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 3 years ago
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆44Updated 7 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• sbp / hedgehog
  Concise implementation of a lisp-like language for low-end and embedded devices
  ☆99Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• rongarret / tweetnacl
  ☆21Updated 7 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• jackpal / lisp5000
  A small dialect of Common Lisp based upon lisp500
  ☆38Updated 10 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆32Updated last month
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆58Updated 15 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• malisper / Clamp
  Common Lisp with Arc Macros and Procedures
  ☆71Updated 8 years ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆103Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• mindpool / gambit-termite
  ☆28Updated this week
• rongarret / gll-mag-patch
  ☆43Updated 6 years ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• turbolent / ralph
  Ralph is a Lisp-1 dialect that compiles to JavaScript
  ☆74Updated 4 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 7 years ago
• seanjensengrey / picolisp
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆10Updated 9 years ago
• codr4life / foonline
  ☆22Updated this week
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 8 years ago
• googoogaga / goo
  The Goo programming language.
  ☆24Updated 10 years ago
• technomancy / cooper
  HyperCard-ish in Racket
  ☆39Updated 9 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 2 years ago
• kingcons / clones
  A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch
  ☆33Updated 3 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago