commonlisp
Here are 40 public repositories matching this topic...
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
-
Updated
Jun 9, 2024 - Common Lisp
Share mathematics on the web with LaTeX and Markdown
-
Updated
May 13, 2024 - Common Lisp
JSCL (Moren edition) FFI - no longer supported
-
Updated
Feb 4, 2024 - Common Lisp
🇰🇷☯😈 리스퍼를 위한 이맥스 : https://lispkorea.github.io/emacs-for-lisper
-
Updated
Feb 2, 2024
Learning lisp through solving advent of code 2020
-
Updated
Dec 9, 2023 - Common Lisp
[Deprecated] Common Lisp Differentiable Matrix Operations for Mathematical Optimization.
-
Updated
Oct 4, 2023 - Common Lisp
Moren screen locker (electron render process)
-
Updated
Sep 26, 2023 - Common Lisp
Signals & Slots implementation in Common Lisp
-
Updated
Jun 4, 2023 - Common Lisp
A game written in Common Lisp, using lispbuilder-sdl
-
Updated
Oct 17, 2022 - Common Lisp
A repository for showcasing my knowledge of the (Common (Lisp)) programming language, and continuing to learn the language
-
Updated
Oct 13, 2022 - Common Lisp
A Common Lisp utility for JSON, to pretty print JSON and so on.
-
Updated
May 21, 2022 - Common Lisp
A Tangram Puzzle Solver in Common Lisp that is capable of solving arbitrary geometric tiling problems. CLIM (Common Lisp Interface Manager) is used for its GUI.
-
Updated
Apr 13, 2022 - Common Lisp
fpLISP: A minimum LISP interpreter for functional programming
-
Updated
Dec 29, 2021 - Shell
Simulating Mafia game with mafias, townies and fools!
-
Updated
Nov 12, 2021 - Common Lisp
A Common Lisp library for magicthegathering.io
-
Updated
Oct 1, 2021 - Common Lisp
Kilo embedding LISP interpreter, with operations of last S-expression evaluating and parentheses matching
-
Updated
Apr 15, 2021 - C
Improve this page
Add a description, image, and links to the commonlisp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the commonlisp topic, visit your repo's landing page and select "manage topics."