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☆94Dec 1, 2023Updated 2 years ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 6 years ago
- A fast and lightweight emacs.☆14Nov 7, 2015Updated 10 years ago
- newLISP editing mode for Emacs.☆25Feb 26, 2016Updated 10 years ago
- Gambit Scheme binding for raylib☆12Jan 11, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Supercharge your email management with Gnus -- an Emacs configuration with improved defaults. Simplify your inbox with our optimized setu…☆10Jan 12, 2025Updated last year
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- 逼乎，让我们在撕逼中寻找答案——这是红岩移动开发部的作业哦☆12Apr 5, 2016Updated 10 years ago
- Modern minimal Forth (between eforth and Gforth)☆15Sep 18, 2021Updated 4 years ago
- Android Studio VS Eclipse, an Android game based on JustWe☆11May 12, 2017Updated 9 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☆17Feb 14, 2023Updated 3 years ago
- This is yourforth an educational Forth in Intel assembler, with exercises.☆23Jan 18, 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.
- John Walker's Forth☆22Jul 8, 2016Updated 10 years ago
- PyBitmessage API frontend for Android using QT5 and python 3☆11Oct 3, 2018Updated 7 years ago
- Chez Scheme☆7,321Jun 10, 2026Updated last month
- 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 last month
- 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.
- About the DesignScript language☆11Jul 25, 2024Updated 2 years ago
- Common Lisp REPL for Android☆13Aug 31, 2016Updated 9 years ago
- A luajit set of ffi wrappers for the excellent sokol framework,☆10Updated this week
- APL function editor written in APL☆12Mar 9, 2026Updated 4 months ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- Using Monogame with Lua☆14Sep 21, 2023Updated 2 years ago
- Print window informations☆15Apr 12, 2016Updated 10 years ago
- Simple TTF rasterizer☆11Mar 29, 2020Updated 6 years ago
- like self-html... but for DSLs☆11Nov 20, 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.
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- A tool to generate NativeCall code from C headers☆29Nov 28, 2021Updated 4 years ago
- Whilelse is a software development system with a web-based editor that represents code as a web instead of text☆13Mar 25, 2016Updated 10 years ago
- A TCP networking library for Pony☆23Jul 14, 2026Updated 2 weeks ago
- NixOps deployment configuration library for IOHK devops☆16Aug 29, 2025Updated 11 months ago
- ☆14Oct 30, 2015Updated 10 years ago
- A minimalist revision of the miniKanren language with no additional features☆52May 11, 2022Updated 4 years ago