Trending
See what the GitHub community is most excited about today.
-
Nikki and the Robots platformer game
-
Generating bash command from natural language https://arxiv.org/abs/1802.08979
-
Learning a Neural Semantic Parser with User Feedback
-
Matrix Algebra proGrams In Common Lisp
-
End-to-End Differentiable Proving
-
Contracts written in LLL for Ethereum.
-
various bits of code in newLISP
-
Exploring the original Zork source code with Graphviz and an interactive d3 map, using JavaScript and an extension of Peter Norvig's Python Lisp parser to handle MDL
-
Source code for both the newLISP on Rockets framework and the example blog running on it.
-
newLISPの小物モジュール
-
newLISP programming...
-
A Quicklisp Docker repository based on SBCL
-
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
-
qualitative spatio-temporal reasoning toolbox
-
A stoopid and funny pixel-art game - written in pure C - set in Perugia
-
A matrix.org client in newlisp, meant as a base for writing bots.
-
Experiments in newlisp
-
-
-
Structure and Interpretation of Computer Programs
-
Docker with SBCL
-
Generic database access interface for Dragonfly using Objective newLISP
-
DSL for HTML5
-
study
-
public levels for Nikki and the Robots
