Lispkit Lisp/SECD Machine
☆12Sep 11, 2017Updated 8 years ago
Alternatives and similar repositories for Lispkit
Users that are interested in Lispkit are comparing it to the libraries listed below
Sorting:
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Enables language interoperability between Elixir and .NET☆11Jan 8, 2021Updated 5 years ago
- Superceded by https://github.com/kraison/vivace-graph-v3 Open source Common Lisp graph database / RDF store / Prolog implementation. Su…☆35May 7, 2012Updated 13 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- ☆15May 1, 2021Updated 4 years ago
- simply-scheme language bindings for Racket☆16Feb 23, 2022Updated 4 years ago
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 6 years ago
- ☆19Feb 28, 2021Updated 5 years ago
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆41Jan 5, 2026Updated last month
- adqc - A version of C with verification and resource bounds☆23Oct 4, 2021Updated 4 years ago
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- Forth for the J1-CPU☆18Mar 13, 2017Updated 8 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- F# implementation of the ray tracer found in The Ray Tracer Challenge by Jamis Buck☆22Oct 1, 2023Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- SECD microprocessor reimplementation in VHDL☆36Nov 13, 2019Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 10 months ago
- common lisp book and resources☆29Nov 24, 2017Updated 8 years ago
- Inspired by Chuck Moore's "Machine Forth"☆32Nov 30, 2024Updated last year
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 6 years ago
- This is a read-only mirror of the CRAN R package repository. uplift — Uplift Modeling☆13Mar 20, 2014Updated 11 years ago
- ☆11Oct 25, 2024Updated last year
- Postman collections for SFCC OCAPI☆11Oct 4, 2019Updated 6 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A neural network written in pure Lisp without built-in numbers☆42Jan 21, 2022Updated 4 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 8 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago