tuturto / archimedesLinks
Hy macros for Hypothesis framework
☆14Updated last year
Alternatives and similar repositories for archimedes
Users that are interested in archimedes are comparing it to the libraries listed below
Sorting:
- The Hy Transformer☆83Updated 6 years ago
- an IMAP mail client implemented in Racket☆32Updated 10 months ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- The first (and only) Hy unit testing framework☆29Updated 8 years ago
- A Python to Hy (https://github.com/hylang/hy) compiler☆22Updated 5 years ago
- Reader macros for concise expression of function partial application and composition.☆37Updated 4 years ago
- SLAYER ported to Racket☆21Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 11 months ago
- Hy on μKanren☆19Updated 9 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆21Updated last year
- Online playground from RacketScript☆19Updated last year
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Gambit Scheme library to interface to Python☆9Updated last year
- Easy scripting for DrRacket☆18Updated 2 weeks ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 2 months ago
- Mocking library for Racket☆22Updated 4 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- Easily create large command-line interfaces in Racket☆10Updated 3 years ago
- A parser generator generator☆18Updated 2 years ago
- #lang clojure☆124Updated 9 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- GNU Emacs mode for PicoLisp programming☆17Updated last year
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Resurrection of guile-scsh on guile-2.0☆13Updated 2 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- Hy Monad Notation - a monad library for Hy☆55Updated last year