svenssonjoel / lispBMView external linksLinks
An interpreter for a concurrent lisp with message-passing and pattern-matching.
☆120Feb 8, 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
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- experimental visual programming in scheme for making rave music, uses fluxus☆59Oct 30, 2019Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- A version of the Lisp programming language for STM32-based boards☆27Dec 4, 2020Updated 5 years ago
- RMW implementation for EmbeddedRTPS middleware☆15Apr 21, 2023Updated 2 years ago
- Experiments with eBPF bytecode☆15Jul 17, 2025Updated 6 months ago
- ☆12Jun 13, 2023Updated 2 years ago
- ☆13Jul 12, 2019Updated 6 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- ☆12Jan 18, 2026Updated 3 weeks ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 4 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆13Mar 7, 2024Updated last year
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Common Lisp implementation of the Erlang External Term Format☆16Dec 31, 2022Updated 3 years ago
- Small embedded Nim program running on an STM32F3.☆13Jun 9, 2016Updated 9 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 6 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- The torque project CLI toolchain☆16Jun 10, 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.☆14Aug 5, 2022Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- Boost.org ptr_container module☆17Feb 3, 2026Updated last week
- ☆18Aug 31, 2022Updated 3 years ago
- A Compact Scheme System for Microcontrollers☆184Oct 8, 2015Updated 10 years ago
- Collection of Idris snippets☆23Dec 23, 2025Updated last month
- Syntax extensions to LuaJIT for scientific computing☆16Apr 28, 2020Updated 5 years ago
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- Otus Lisp (Ol) is a purely functional multi-platform Scheme dialect with built-in FFI and infix math.☆271Updated this week
- Hanoi Omega-Automata Format☆15Nov 20, 2022Updated 3 years ago
- Orbtrace & supporting hardware circuit diagrams etc.☆22Oct 11, 2023Updated 2 years ago
- Template for Licentiate and PhD theses at the department of CSE at Chalmers.☆20Nov 7, 2025Updated 3 months ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Rust implementation of protocols defined by "LAN eXtensions for Instrumentation"(LXI).☆17Dec 18, 2023Updated 2 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
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago