tuturto / archimedesView external linksLinks
Hy macros for Hypothesis framework
☆14Aug 23, 2023Updated 2 years ago
Alternatives and similar repositories for archimedes
Users that are interested in archimedes are comparing it to the libraries listed below
Sorting:
- Union types and some other functional-y stuff for Hy☆52Jan 29, 2016Updated 10 years ago
- The Hy Transformer☆83May 7, 2019Updated 6 years ago
- simple roguelike written with Python and Hy☆43Jan 3, 2018Updated 8 years ago
- The first (and only) Hy unit testing framework☆31Mar 10, 2017Updated 8 years ago
- Kodi's Hy utility functions and macros☆12Jan 11, 2026Updated last month
- IRC bot for Hy☆23Nov 1, 2014Updated 11 years ago
- A simple IPython kernel for Hy☆48Feb 17, 2022Updated 3 years ago
- ☆35Mar 22, 2014Updated 11 years ago
- foo☆35Jun 28, 2013Updated 12 years ago
- Hy Monad Notation - a monad library for Hy☆56Jan 7, 2024Updated 2 years ago
- NREPL for Hy☆115Oct 21, 2021Updated 4 years ago
- Swank/slime support for clojure☆155Sep 8, 2016Updated 9 years ago
- Vim files and plugins for Hy☆86Dec 6, 2025Updated 2 months ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated 3 weeks ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- ☆10Jan 13, 2026Updated last month
- Flexible user timeout daemon with X11 support☆12Jun 1, 2009Updated 16 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Edit a static SVG with legend and description to be an interactive content.☆11Mar 16, 2025Updated 11 months ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Easy to use configuration management tool☆51Apr 18, 2018Updated 7 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- ☆11Mar 2, 2022Updated 3 years ago
- ☆49Nov 21, 2025Updated 2 months ago
- Pry support within Emacs☆53Mar 7, 2013Updated 12 years ago
- My emacs setup. 25+ years in the making, not counting reboots.☆26Jan 15, 2026Updated last month
- An Android app for ClojureDocs☆14Jan 27, 2012Updated 14 years ago
- online security check for rails projects☆54Jan 9, 2023Updated 3 years ago
- XML / HTML / XHTML markup language generator for Hy☆10Aug 4, 2017Updated 8 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- SPM toolchain to cross compile macOS Swift binaries on a Raspberry Pi (yes, you read that right)☆12Feb 2, 2018Updated 8 years ago
- Replicate Crux data into DataScript (via one-way syncing of filtered txes w/ simple full refresh if connection drops - SSE/sente demo is …☆12Feb 19, 2020Updated 5 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- ☆10Sep 16, 2020Updated 5 years ago
- Documentation for deploying prod grades Starknet nodes☆11Mar 31, 2023Updated 2 years ago
- Alfresco module that exposes a Clojure API to access the repository.☆17Jan 20, 2016Updated 10 years ago