An interpreter for a concurrent lisp with message-passing and pattern-matching.
☆121Feb 28, 2026Updated last week
Alternatives and similar repositories for lispBM
Users that are interested in lispBM are comparing it to the libraries listed below
Sorting:
- A virtual machine for microcontrollers.☆19Oct 4, 2022Updated 3 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- experimental visual programming in scheme for making rave music, uses fluxus☆59Oct 30, 2019Updated 6 years ago
- A version of the Lisp programming language for STM32-based boards☆27Dec 4, 2020Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 7 months ago
- DSS-80E Digital Soldering Station☆11Nov 13, 2022Updated 3 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- RMW implementation for EmbeddedRTPS middleware☆16Apr 21, 2023Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 6 years ago
- Common Lisp implementation of the Erlang External Term Format☆16Dec 31, 2022Updated 3 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆15Feb 25, 2026Updated last week
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Small embedded Nim program running on an STM32F3.☆14Jun 9, 2016Updated 9 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- single file scheme interpreter with tail call optimization☆82Apr 16, 2019Updated 6 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 9 years ago
- A (very experimental) WebAssembly backend for Cranelift.☆15Aug 5, 2022Updated 3 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆15Jun 29, 2020Updated 5 years ago
- ☆19Aug 14, 2025Updated 6 months ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- Boost.org ptr_container module☆18Feb 3, 2026Updated last month
- A Compact Scheme System for Microcontrollers☆184Oct 8, 2015Updated 10 years ago
- Otus Lisp (Ol) is a purely functional multi-platform Scheme dialect with built-in FFI and infix math.☆273Feb 27, 2026Updated last week
- UAVCAN library for Espressif microcontrollers. (Arduino SDK)☆17Jul 10, 2020Updated 5 years ago
- ☆19Apr 24, 2025Updated 10 months ago
- Syntax extensions to LuaJIT for scientific computing☆16Apr 28, 2020Updated 5 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆17Jan 25, 2017Updated 9 years ago
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated last month
- Rust implementation of protocols defined by "LAN eXtensions for Instrumentation"(LXI).☆17Dec 18, 2023Updated 2 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- ncurses API/FFI for Racket☆16Nov 21, 2019Updated 6 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago