Chez Scheme
☆41Feb 5, 2022Updated 4 years ago
Alternatives and similar repositories for ChezScheme
Users that are interested in ChezScheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- stex: stex to latex and latex to html converters and associated tools☆95Dec 1, 2023Updated 2 years ago
- A fast and lightweight emacs.☆14Nov 7, 2015Updated 10 years ago
- Gambit Scheme binding for raylib☆12Jan 11, 2021Updated 5 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Modern minimal Forth (between eforth and Gforth)☆16Sep 18, 2021Updated 5 years ago
- Parser Combinator ver. Rust☆15Jun 16, 2020Updated 6 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- Emacs major mode for Dyalog APL☆19Feb 14, 2023Updated 3 years ago
- John Walker's Forth☆22Jul 8, 2016Updated 10 years ago
- Chez Scheme☆7,364Updated this week
- A collection of scripts and utilities for developers using WSL (Windows Subsystem for Linux)☆16Nov 6, 2019Updated 6 years ago
- jdbc,socket,serialize等常用样例☆10Dec 13, 2023Updated 2 years ago
- macrostep for geiser and cider☆16Jul 17, 2021Updated 5 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.
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Jun 3, 2026Updated 4 months ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- Learn Haskell☆13Jun 10, 2022Updated 4 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Mar 5, 2012Updated 14 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog☆21Mar 25, 2018Updated 8 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 3 months ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- Print window informations☆15Apr 12, 2016Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Simple TTF rasterizer☆11Mar 29, 2020Updated 6 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- A tool to generate NativeCall code from C headers☆29Nov 28, 2021Updated 4 years ago
- NixOps deployment configuration library for IOHK devops☆16Aug 29, 2025Updated last year
- A developer oriented, headless ecommerce framework based on Spring + GraphQL + Angular.☆15Sep 17, 2021Updated 5 years ago
- A Haskell Collections library. [WIP]☆15Apr 7, 2024Updated 2 years ago
- Efficient and single-steppable ULC evaluation algorithm☆15Jun 1, 2021Updated 5 years ago
- ☆24Oct 1, 2026Updated last week
- A minimalist revision of the miniKanren language with no additional features☆52May 11, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Jun 3, 2026Updated 4 months ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆16Apr 4, 2022Updated 4 years ago
- Hardhat plugin to develop smart contracts with Fe☆15Aug 2, 2022Updated 4 years ago
- DCOS CLI in a Docker Container☆10Mar 29, 2017Updated 9 years ago
- Git clone of Charva's svn repository at https://sourceforge.net/p/charva/code/☆13Apr 1, 2016Updated 10 years ago
- YxVM怎么样？YxVM介绍和测评☆10Feb 7, 2025Updated last year
- Generate documentation for Nix Flakes.☆31Aug 22, 2023Updated 3 years ago