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
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- an IMAP mail client implemented in Racket☆32Updated 11 months ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- A Python to Hy (https://github.com/hylang/hy) compiler☆22Updated 5 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated last week
- The first (and only) Hy unit testing framework☆29Updated 8 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- Hy Monad Notation - a monad library for Hy☆55Updated last year
- moved to https://git.matthewbutterick.com/mbutterick/sugar☆19Updated 4 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆21Updated last year
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Reader macros for concise expression of function partial application and composition.☆37Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 8 months ago
- Easy scripting for DrRacket☆18Updated last month
- Online playground from RacketScript☆19Updated last year
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Kodi's Hy utility functions and macros☆12Updated 3 months ago
- #lang clojure☆125Updated 9 years ago
- Easily create large command-line interfaces in Racket☆10Updated 4 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Lisp is data. Data needs a visualization tool.☆16Updated 11 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- Resurrection of guile-scsh on guile-2.0☆13Updated 2 years ago
- A data frame implementation for Racket☆37Updated last year
- ☆12Updated 10 years ago