daly / axiom

Related projects: ⓘ

• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆304Updated this week
• andrejv / maxima
  ☆139Updated this week
• jsoftware / jsource
  J engine source mirror
  ☆658Updated this week
• robert-dodier / maxima-jupyter
  A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)
  ☆187Updated 8 months ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆125Updated 3 weeks ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆598Updated last month
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆349Updated 6 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆414Updated this week
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆86Updated 3 years ago
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆356Updated this week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆215Updated this week
• barak / stalin
  stalin brutally optimizing Scheme compiler, with Debianization patches
  ☆377Updated 3 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆305Updated 10 years ago
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆149Updated last year
• racket / racket7
  ☆169Updated 6 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆159Updated 7 years ago
• quil-lang / quilc
  The optimizing Quil compiler.
  ☆454Updated last week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆414Updated 3 weeks ago
• JeffBezanson / femtolisp
  a lightweight, robust, scheme-like lisp implementation
  ☆1,575Updated 4 years ago
• polyml / polyml
  Poly/ML
  ☆483Updated last month
• scheme / scsh
  A Unix shell embedded in scheme
  ☆382Updated 6 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆128Updated 6 years ago
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆616Updated last week
• marcoheisig / Petalisp
  Elegant High Performance Computing
  ☆466Updated last week
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆119Updated 2 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆701Updated last week
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆352Updated last month
• racket / typed-racket
  Typed Racket
  ☆521Updated 2 weeks ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆900Updated this week
• racket / rhombus
  Rhombus programming language
  ☆332Updated this week