https://www.gnu.org/software/mit-scheme/
☆10Jun 15, 2012Updated 14 years ago
Alternatives and similar repositories for mit-scheme
Users that are interested in mit-scheme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MISC16 minimal CPU running eForth☆11Dec 27, 2021Updated 4 years ago
- The complete Colossal Cave Adventure in 64K! (A Forth port for 65c02)☆14Sep 12, 2025Updated last year
- Resources needed for PR crisis WordPress microsite☆13Mar 16, 2021Updated 5 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A simple package for a first course in finite element methods.☆10Jan 10, 2024Updated 2 years 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.
- A "small" LISP interpreter written in C++☆12Dec 12, 2014Updated 11 years ago
- [DEPRECATED] Client library for ČSOB Payment Gateway eAPI 1.5+☆13May 11, 2017Updated 9 years ago
- My Machine Learning practical sessions done at the INSA of Rouen & the University of Rouen in 2013 and 2014.☆10Apr 25, 2015Updated 11 years ago
- (A)ugmented (L)agrangian based solvers for the Navier Stokes equation in (Fi)redrake☆14Oct 13, 2024Updated 2 years ago
- A Dockerfile to create a full App Inventor development environment☆14Feb 26, 2025Updated last year
- ☆11Jan 13, 2023Updated 3 years ago
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 2 months ago
- Scheme index catalogs definitions of procedures, macros, values from scheme specifications and SRFI libraries, using sexpr textual format☆26Oct 26, 2026Updated last week
- A testing framework for Standard ML.☆13Dec 29, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- WebAssembly Types☆17Aug 11, 2017Updated 9 years ago
- ☆10May 26, 2016Updated 10 years ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- A collection of Scheme libraries☆31Aug 4, 2015Updated 11 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Design by contract for Go☆16Mar 13, 2025Updated last year
- ML Basis for Poly/ML☆14Oct 18, 2025Updated last year
- 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.
- TeX Parser in Haskell☆11Aug 12, 2017Updated 9 years ago
- A portable, p2p blogging server and client. WIP.☆12Apr 30, 2017Updated 9 years ago
- ☆17Oct 22, 2026Updated last week
- A multigrid package in Julia: smoothed aggregation AMG + geometric multigrid.☆19Sep 30, 2025Updated last year
- Like shasum but for blake2b☆13Nov 8, 2018Updated 7 years ago
- swc to vtk converter for visualization of neuron and neural circuit simulation in ParaView☆12Jan 26, 2018Updated 8 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 9 months ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- Validate Domain Names as outlined by RFC 2181☆14Jul 25, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Linux USB/IP driver and userspace which works as a library including device side implementation with libusb.☆16May 29, 2017Updated 9 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated last year
- loads a Image for the browser☆10Mar 27, 2016Updated 10 years ago
- Generates a voronoi diagram with periodic boundaries☆16May 17, 2017Updated 9 years ago
- Lookup IP addresses using the Dat protocol (hypertrie)☆15Aug 11, 2018Updated 8 years ago
- Generate secure, random doubles that are unbiased and equidistant☆13Apr 5, 2022Updated 4 years ago
- The firedrake-ts library provides an interface to PETSc TS for the scalable solution of DAEs arising from the discretization of time-depe…☆14Dec 27, 2024Updated last year