High-Performance LISP-like language for Scientific Computing and AI written in C++
☆114May 22, 2026Updated last week
Alternatives and similar repositories for eshkol
Users that are interested in eshkol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 23, 2022Updated 4 years ago
- Common Lisp CFFI wrapper around the DuckDB C API☆52May 20, 2026Updated last week
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Common Lisp bytecode compiler☆18Apr 11, 2026Updated last month
- ☆42Jun 3, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An elegant, robust, and efficient programming language, that just lets you get things done.☆27Feb 10, 2022Updated 4 years ago
- Server and mpv/web client for syncing media playback☆33Nov 13, 2023Updated 2 years ago
- System dependency listing and archiving tool for Common Lisp☆27Nov 30, 2023Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Aug 16, 2025Updated 9 months ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 6 months ago
- Lisp compiler for x86-64☆37Jan 30, 2026Updated 3 months ago
- G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)☆12Oct 21, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion☆70May 20, 2026Updated last week
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- OpenCore bootloader manager with Nix☆35Nov 11, 2022Updated 3 years ago
- A gameboy emulator written in Nim☆10May 6, 2020Updated 6 years ago
- A basic Lisp interpreter implemented in Elixir.☆14Jan 23, 2022Updated 4 years ago
- Common Lisp like condition system for Julia☆15Oct 12, 2023Updated 2 years ago
- Agent Zero: The Real "Q" and "Strawberry" of Advanced AI - Combining Quantum-Inspired Algorithms, Complex Mathematical Reasoning, and Eth…☆12Feb 16, 2026Updated 3 months ago
- GURAFU is a plotting libaray.☆13Sep 12, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Project shadows from sprites on transparent backgrounds☆13Aug 14, 2025Updated 9 months ago
- A collection of portable random generators for Common Lisp☆35May 18, 2026Updated last week
- Small, simple, minimal HTTP library written in Scala.☆11Nov 15, 2024Updated last year
- Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL☆12Feb 26, 2023Updated 3 years ago
- The main objective of the IISCV (Lisp-based Version Control System) project is to "revive the image-based software development paradigm, …☆50Mar 2, 2026Updated 2 months ago
- SciTE Context Menu Extension☆13Jan 29, 2021Updated 5 years ago
- Single-file FLAC decoder with a push-style API☆42Feb 17, 2026Updated 3 months ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Secrecy as a service☆10May 1, 2022Updated 4 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- My Emacs configuration.☆12Mar 20, 2026Updated 2 months ago
- Specification of the Formality proof and programming language☆43Feb 5, 2023Updated 3 years ago
- Sparsify Your Flux Models☆14Sep 20, 2023Updated 2 years ago
- 🌽 Buries time-wasting cards that you keep failing.☆14Jan 11, 2026Updated 4 months ago