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
- 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
- Enables language interoperability between Elixir and .NET☆12Mar 4, 2026Updated 2 weeks ago
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆41Jan 5, 2026Updated 2 months ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 6 years ago
- simply-scheme language bindings for Racket☆16Feb 23, 2022Updated 4 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- Forth for the J1-CPU☆18Mar 13, 2017Updated 9 years ago
- F# implementation of the ray tracer found in The Ray Tracer Challenge by Jamis Buck☆22Oct 1, 2023Updated 2 years ago
- F# GLFW 3 Binding☆11Mar 25, 2018Updated 7 years ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- BERT model translated to F# using TF.Net☆11Dec 8, 2022Updated 3 years ago
- adqc - A version of C with verification and resource bounds☆23Oct 4, 2021Updated 4 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- A BERT serializer and BERT-RPC client for .Net, written in F#☆29Apr 4, 2016Updated 9 years ago
- Overview of open projects in the Fluid Analogies Research Group☆11Sep 10, 2018Updated 7 years ago
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 11 months ago
- Fortran 2003 wrappers for POSIX threads☆12Oct 13, 2017Updated 8 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
- An original elixir simplex noise implementation. Elixir translations of a couple of Java reference implementations are also included.☆11Dec 7, 2017Updated 8 years ago
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- Generates livebooks from module docs☆17Jun 16, 2022Updated 3 years ago
- Simple forth environment written in 2002☆11Dec 17, 2015Updated 10 years ago
- Few people use Forth. But this might be useful if you want to!☆34Apr 11, 2019Updated 6 years ago
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- Common Lisp macros to create web framework based on HTMX☆14May 28, 2024Updated last year
- Java-based assembler, simulator and programmer for the Spin Semiconductor FV-1 Audio DSP☆12Apr 9, 2020Updated 5 years ago
- Lisp bindings for the IPFS HTTP API. (🪞 Mirror)☆11May 30, 2024Updated last year
- A curated list of awesome Concur resources and related projects.☆10Dec 1, 2020Updated 5 years ago
- Work-in-progress vector search SQLite extension that runs anywhere.☆10Jul 27, 2024Updated last year
- Docker image for redbean from the "scratch" container☆12Jul 25, 2022Updated 3 years ago
- A neural network written in pure Lisp without built-in numbers☆43Jan 21, 2022Updated 4 years ago
- Inspired by Chuck Moore's "Machine Forth"☆32Nov 30, 2024Updated last year
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29May 3, 2023Updated 2 years ago
- ☆15Feb 2, 2017Updated 9 years ago