seveno4 / EURISKO

Related projects: ⓘ

• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆48Updated 2 months ago
• darius / cant
  A programming argot
  ☆58Updated 5 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆86Updated last year
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆42Updated this week
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• KenDickey / Crosstalk
  Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core
  ☆18Updated 2 months ago
• dylan-hackers / gwydion
  Gwydion Dylan - compiler for Dylan targeting C
  ☆8Updated 12 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆31Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆46Updated 3 weeks ago
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆38Updated 8 months ago
• false-schemers / sharpF
  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…
  ☆47Updated 2 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆33Updated 2 years ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆60Updated last year
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆61Updated 13 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆13Updated 9 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• aartaka / trivial-inspect
  A portable Common Lisp toolkit for building inspectors
  ☆21Updated 2 weeks ago
• drewc / gxjs
  A JavaScript based Scheme runtime for Gambit and Gerbil.
  ☆14Updated 5 months ago
• LdBeth / star-lisp
  A *LISP emulator
  ☆34Updated 4 years ago
• lambdamikel / GenEd
  An Editor with Generic Semantics for Formal Reasoning About Visual Notations
  ☆18Updated 3 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated last year
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆27Updated last year
• pinneyja / self-interpreter
  ☆17Updated 2 years ago
• lisp-mirror / airship-scheme
  Scheme in Common Lisp - https://gitlab.com/mbabich/airship-scheme
  ☆24Updated last month
• sharplispers / ops5
  The Ops5 programming language for production systems
  ☆36Updated 4 years ago
• stylewarning / cl-permutation
  Permutations and permutation groups in Common Lisp.
  ☆48Updated last year
• blakemcbride / PSL
  Portable Standard Lisp
  ☆53Updated 3 years ago