An R5RS Scheme in JavaScript.
☆17Feb 7, 2026Updated 8 months ago
Alternatives and similar repositories for foxscheme
Users that are interested in foxscheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 15 years ago
- A fork of CLSQL☆11Jan 4, 2009Updated 17 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 4 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- ☆30Jan 16, 2024Updated 2 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.
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- A language binding for the CURL network client library for the Guile version of the Scheme language☆28Apr 13, 2026Updated 6 months ago
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- Ken's Rather Useless Symbolic Assembly Development Environment for the Replica 1☆21Nov 16, 2016Updated 9 years ago
- A JSON library for Chez Scheme☆15Jul 18, 2017Updated 9 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Foment is an implementation of R7RS Scheme.☆72Sep 7, 2022Updated 4 years ago
- PL Wonks website☆13Aug 7, 2026Updated 2 months ago
- GObject-Introspection bindings for Scheme☆14Jul 16, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A notional machine for the SMoL languages☆20Oct 19, 2026Updated last week
- ☆22Apr 1, 2013Updated 13 years ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 13 years ago
- The first standards-compliant Scheme that runs in the browser.☆19Apr 4, 2019Updated 7 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Apr 2, 2016Updated 10 years ago
- web server derived from Fermion (circa 2011)☆18May 1, 2016Updated 10 years ago
- A notional machine for the SMoL languages☆20Sep 12, 2023Updated 3 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- Library to enable using graphviz in Racket programs☆25Sep 21, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A sort-of continuation of the TinyScheme project by Dimitrios Souflis☆13Mar 8, 2016Updated 10 years ago
- A Racket client for the Arduino Service Interface Protocol (ASIP)☆13Feb 19, 2018Updated 8 years ago
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆27Aug 9, 2025Updated last year
- ☆28Jun 18, 2020Updated 6 years ago
- a worker bee for application hives☆12Mar 24, 2026Updated 7 months ago
- Small portable regex in C (cbmc verified, and extended)☆14Jun 6, 2023Updated 3 years ago
- Checks whether a TLS connection uses SHA1 signed certificates, and if Google Chrome approves.☆17Jul 22, 2015Updated 11 years ago
- A small scheme implementation in java☆25Jun 27, 2018Updated 8 years ago
- Perl based BitTorrent module available on CPAN☆14Oct 11, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- All curricular materials for Bootstrap course modules☆13Feb 16, 2022Updated 4 years ago
- Portable Super MagicDrive (SMD) to linear (BIN) Sega Genesis/MegaDrive ROM converter☆11Feb 23, 2014Updated 12 years ago
- Generic bind forms for Racket☆12Aug 21, 2023Updated 3 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 12 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 12 years ago
- Access SOAP web services from GNU Emacs. This package is maintained as part of the GNU Emacs source repository☆10Jun 17, 2018Updated 8 years ago