tuturto / archimedes
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
- The Hy Transformer☆83Updated 6 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated last week
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- an IMAP mail client implemented in Racket☆32Updated 10 months ago
- Hy on μKanren☆19Updated 9 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 10 months ago
- A parser generator generator☆18Updated last year
- Mocking library for Racket☆22Updated 4 years ago
- Reader macros for concise expression of function partial application and composition.☆37Updated 4 years ago
- A Python to Hy (https://github.com/hylang/hy) compiler☆22Updated 5 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago
- The first (and only) Hy unit testing framework☆29Updated 8 years ago
- Lisp is data. Data needs a visualization tool.☆16Updated 11 years ago
- moved to https://git.matthewbutterick.com/mbutterick/sugar☆19Updated 3 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- Easy scripting for DrRacket☆18Updated last month
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Resurrection of guile-scsh on guile-2.0☆13Updated 2 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 2 years ago
- Decentralized Software Organisms☆18Updated 2 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- #lang clojure☆124Updated 9 years ago
- Easily create large command-line interfaces in Racket☆10Updated 3 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Online playground from RacketScript☆19Updated last year
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago