A library for recreational number theory in MIT Scheme.
☆11Feb 2, 2013Updated 13 years ago
Alternatives and similar repositories for integer-sequences
Users that are interested in integer-sequences are comparing it to the libraries listed below
Sorting:
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Feb 2, 2013Updated 13 years ago
- A unit test framework for MIT Scheme in the jUnit style.☆14Nov 30, 2015Updated 10 years ago
- A Clojure AST transformation library☆39Feb 2, 2013Updated 13 years ago
- R7RS SRFI implementations☆33Oct 2, 2024Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 13 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- A language binding for the CURL network client library for the Guile version of the Scheme language☆28Jul 22, 2025Updated 7 months ago
- A collection of Scheme libraries☆30Aug 4, 2015Updated 10 years ago
- Reverse-mode automatic differentiation for sparse Hessians☆24Jun 8, 2019Updated 6 years ago
- Monads for scheme☆31Oct 5, 2024Updated last year
- A Clojure iteration macro inspired by Common Lisp iterate.☆46Aug 8, 2010Updated 15 years ago
- A Javascript implementation of Astronomical Algorithms by Jean Meeus☆11Feb 14, 2015Updated 11 years ago
- Graph of Clojure classes and tools to produce it.☆51Jan 22, 2024Updated 2 years ago
- PVTS is a visual interpreter for the Scheme programming language writen in Java.☆30Jan 23, 2014Updated 12 years ago
- colorized REPL for GNU Guile☆38Jun 5, 2018Updated 7 years ago
- Ethereum private blockchain monitoring tool☆11Sep 4, 2017Updated 8 years ago
- A little library for cljs testing and mocking inspired by Midje☆11May 1, 2017Updated 8 years ago
- The quick and easy dictionary builder for constructed languages.☆11Jul 19, 2025Updated 7 months ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Mar 25, 2016Updated 9 years ago
- Structured access to bytevector contents.☆39Aug 20, 2024Updated last year
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- Computational Tools for Heat Exchanger Network Synthesis☆11Jul 16, 2024Updated last year
- Manage your money in the terminal with A Ruby DSL☆16Jan 1, 2026Updated last month
- Interactive decks with KLIPSE☆11Jan 24, 2023Updated 3 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- A sandbox for my notes☆10Dec 15, 2015Updated 10 years ago
- This repo contains the knitr code for the paper: Gillespie, C. S., et al, 2010. Analysing yeast time course microarray data using BioCond…☆13Jan 25, 2016Updated 10 years ago
- ☆13May 28, 2024Updated last year
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Repositório das notas de aula e material computacional para a disciplina de Modelagem Matemática do Instituto de Matemática da UFRJ.☆12Jul 27, 2022Updated 3 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Experiment to use genetic programming to generate clojure.spec programs from test data☆42Oct 26, 2016Updated 9 years ago
- OpenGL libraries for Chez Scheme☆39Oct 11, 2016Updated 9 years ago
- whole-program transformations in clojure☆99Apr 6, 2017Updated 8 years ago