tuturto/archimedes external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tuturto/archimedes

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tuturto/archimedes)

Close

tuturto / archimedesView on GitHubMore

• External links
• Readme badge

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

• refi64 / hyskell

  View on GitHub
  Union types and some other functional-y stuff for Hy
  ☆52Jan 29, 2016Updated 10 years ago
• hylang / hydiomatic

  View on GitHub
  The Hy Transformer
  ☆83May 7, 2019Updated 6 years ago
• tuturto / pyherc

  View on GitHub
  simple roguelike written with Python and Hy
  ☆43Jan 3, 2018Updated 8 years ago
• refi64 / hytest

  View on GitHub
  The first (and only) Hy unit testing framework
  ☆32Mar 10, 2017Updated 8 years ago
• Kodiologist / Kodhy

  View on GitHub
  Kodi's Hy utility functions and macros
  ☆13Jan 11, 2026Updated last month
• hylang / hygdrop

  View on GitHub
  IRC bot for Hy
  ☆23Nov 1, 2014Updated 11 years ago
• bollwyvl / hy_kernel

  View on GitHub
  A simple IPython kernel for Hy
  ☆48Feb 17, 2022Updated 4 years ago
• yardsale8 / hymagic

  View on GitHub
  ☆35Mar 22, 2014Updated 11 years ago
• paultag / djlisp

  View on GitHub
  foo
  ☆35Jun 28, 2013Updated 12 years ago
• pyx / hymn

  View on GitHub
  Hy Monad Notation - a monad library for Hy
  ☆56Jan 7, 2024Updated 2 years ago
• allison-casey / HyREPL

  View on GitHub
  NREPL for Hy
  ☆115Oct 21, 2021Updated 4 years ago
• jochu / swank-clojure

  View on GitHub
  Swank/slime support for clojure
  ☆155Sep 8, 2016Updated 9 years ago
• hylang / vim-hy

  View on GitHub
  Vim files and plugins for Hy
  ☆87Dec 6, 2025Updated 3 months ago
• fuselang / fuse

  View on GitHub
  Statically typed functional programming language.
  ☆11Jan 25, 2026Updated last month
• ThomasChiroux / attowiki

  View on GitHub
  small wiki engine based on static reST files and git for versionning
  ☆25Oct 26, 2015Updated 10 years ago
• brexhq / kotlin-language-server-bazel-support

  View on GitHub
  Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support
  ☆12Nov 26, 2025Updated 3 months ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆14Jan 21, 2017Updated 9 years ago
• joaquimg / QuadraticToBinary.jl

  View on GitHub
  ☆11Mar 2, 2022Updated 4 years ago
• mothsART / editInteractiveSVG

  View on GitHub
  Edit a static SVG with legend and description to be an interactive content.
  ☆11Mar 16, 2025Updated 11 months ago
• gosquadron / squadron

  View on GitHub
  Easy to use configuration management tool
  ☆51Apr 18, 2018Updated 7 years ago
• outlandnish / fw-ghost-drive

  View on GitHub
  Firmware for the Macchina M2 to use your car as a sim racing controller
  ☆13Jan 5, 2021Updated 5 years ago
• mauricioszabo / generic-lsp

  View on GitHub
  ☆10Nov 14, 2022Updated 3 years ago
• igamigo / dinogame

  View on GitHub
  Web game, clone of Chrome's dinosaur game.
  ☆10Jan 5, 2023Updated 3 years ago
• joehuchette / Cerberus.jl

  View on GitHub
  An experimental solver for (disjunctive) mixed-integer programming
  ☆11Aug 27, 2021Updated 4 years ago
• OCA / vertical-abbey

  View on GitHub
  ☆10Jan 13, 2026Updated last month
• hycos / regex2smtlib

  View on GitHub
  A regular expression to SMT-LIB constraint translator
  ☆12Jul 12, 2025Updated 7 months ago
• sohonet / timeoutd

  View on GitHub
  Flexible user timeout daemon with X11 support
  ☆12Jun 1, 2009Updated 16 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• msantos / erpcgen

  View on GitHub
  RPC/XDR protocol compiler (from jungerl)
  ☆14Oct 4, 2019Updated 6 years ago
• d3x0r / gun-file

  View on GitHub
  Storage adapater for Gun database; adds local file system storage.
  ☆17May 7, 2020Updated 5 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• pramda / pramda

  View on GitHub
  Functional package for python
  ☆10Mar 6, 2025Updated last year
• ahyatt / vecdb

  View on GitHub
  A package for Emacs to connect to different embedding databases
  ☆27Oct 12, 2025Updated 4 months ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆11Dec 17, 2024Updated last year
• potassco / clingoLP

  View on GitHub
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Dec 2, 2021Updated 4 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• jdtuck / ElasticFDA.jl

  View on GitHub
  Functional Data Analysis using Square-Root Slope Framework
  ☆10Oct 26, 2020Updated 5 years ago
• DISIC / guide-impacts_utilisateurs

  View on GitHub
  Défauts d’accessibilité : Impacts sur les utilisateurs
  ☆13Feb 15, 2018Updated 8 years ago
• simonklee / profanity

  View on GitHub
  profanity — word filter service
  ☆13Oct 29, 2015Updated 10 years ago