Alternatives and similar repositories for the-halting-project

Users that are interested in the-halting-project are comparing it to the libraries listed below

• thoughtpolice / vacuum

  View on GitHub
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆18Sep 17, 2016Updated 9 years ago
• kragen / calculusvaporis

  View on GitHub
  A tiny CPU
  ☆20May 16, 2009Updated 16 years ago
• clojurians / clojurians-chat

  View on GitHub
  Real Time chat; For the Clojure Community, By the Clojure Community.
  ☆42Oct 21, 2015Updated 10 years ago
• DRMacIver / schroedinteger

  View on GitHub
  Is this integer dead or alive?
  ☆45Mar 6, 2017Updated 8 years ago
• gigasquid / eodermdrome

  View on GitHub
  An experimental esolang implementation of a Kolmogorov-Uspensky machine
  ☆29Mar 17, 2016Updated 9 years ago
• SecureAuthCorp / pyron

  View on GitHub
  ☆20Nov 29, 2023Updated 2 years ago
• mgrabmueller / harpy

  View on GitHub
  Runtime code generation for x86 machine code
  ☆26Sep 30, 2023Updated 2 years ago
• arrdem / guten-tag

  View on GitHub
  Good tags for a good day!
  ☆30Dec 22, 2017Updated 8 years ago
• Uuvu / add-subtitles-on-NPO-start

  View on GitHub
  ☆14Sep 9, 2023Updated 2 years ago
• tarix / mcdsupport

  View on GitHub
  MCD Support Plugin for Anki
  ☆20Jan 3, 2024Updated 2 years ago
• eraserhd / clara-eql

  View on GitHub
  ☆12Jan 27, 2026Updated 2 weeks ago
• lazerwalker / dont-touch-your-face

  View on GitHub
  ☆10Jan 7, 2023Updated 3 years ago
• leftaroundabout / manifolds

  View on GitHub
  Coordinate-free hypersurfaces as Haskell types
  ☆41Apr 5, 2025Updated 10 months ago
• jdevuyst / fletching-macros

  View on GitHub
  Clojure macros that complement the clojure.core threading (arrow) macros
  ☆34Apr 19, 2020Updated 5 years ago
• cgrand / confluent-map

  View on GitHub
  A persistent confluent map for Clojure
  ☆39Feb 26, 2016Updated 9 years ago
• markomanninen / hyml

  View on GitHub
  XML / HTML / XHTML markup language generator for Hy
  ☆10Aug 4, 2017Updated 8 years ago
• hiram-madelaine / codemirror-parinfer

  View on GitHub
  A Parinfer mode for the CodeMirror editor
  ☆12Jan 22, 2017Updated 9 years ago
• nham / hippo

  View on GitHub
  Command-line spaced repetition scheduler.
  ☆10Mar 8, 2015Updated 10 years ago
• jonathanstowe / Test-META

  View on GitHub
  Test that a Perl 6 project has a good and proper META file
  ☆10Jul 4, 2023Updated 2 years ago
• audreyt / pugs

  View on GitHub
  A Perl 6 Implementation
  ☆21Mar 5, 2012Updated 13 years ago
• luqui / Djest

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• aav / clojure.osgi

  View on GitHub
  Clojure / OSGi integration
  ☆32Jul 29, 2012Updated 13 years ago
• jvarsoke / ictk

  View on GitHub
  Internet Chess ToolKit is a java based set of libraries and widgets useful for performing common tasks such as reading PGN, FEN, and gene…
  ☆12Feb 22, 2017Updated 8 years ago
• endoli / brass-tacks

  View on GitHub
  Sorting out the basic facts behind our projects.
  ☆10Sep 1, 2016Updated 9 years ago
• andrejbauer / zeroes

  View on GitHub
  Programs for computing beautiful pictures and animations of zeroes of polynomials.
  ☆14Aug 14, 2024Updated last year
• iblech / lets-play-agda

  View on GitHub
  An interactive Agda tutorial
  ☆19Nov 9, 2025Updated 3 months ago
• jdmoorman / kaczmarz-algorithms

  View on GitHub
  Variants of the Kaczmarz algorithm for solving linear systems in Python.
  ☆13Sep 4, 2025Updated 5 months ago
• miner / transmuters

  View on GitHub
  Playing with Clojure transducers
  ☆11Aug 26, 2025Updated 5 months ago
• friemen / zackzack

  View on GitHub
  A Om+core.async prototype of enterprise-style browser UIs.
  ☆30Mar 27, 2015Updated 10 years ago
• koala-framework / file-watcher

  View on GitHub
  Library for watching for file system changes
  ☆11Jul 8, 2025Updated 7 months ago
• foreachthing / RecyclingSymbols

  View on GitHub
  Recycling Symbols for 3D-Printing
  ☆10Jan 26, 2022Updated 4 years ago
• carnegie-technologies / ksql-query-builder

  View on GitHub
  KSQL query linter and composer with dependency resolution
  ☆11Jan 10, 2023Updated 3 years ago
• kul / pool

  View on GitHub
  Pooling Library for Clojure
  ☆13Nov 15, 2022Updated 3 years ago
• DRMacIver / notebook

  View on GitHub
  ☆14Oct 12, 2025Updated 4 months ago
• alborghetti / ABAPFire

  View on GitHub
  ABAP Firebase Client
  ☆10Nov 22, 2018Updated 7 years ago
• tca / PANL

  View on GitHub
  ☆10Mar 14, 2016Updated 9 years ago
• Raku / features

  View on GitHub
  Overview of implementation status of different features in Raku compilers
  ☆13Nov 15, 2020Updated 5 years ago
• aphyr / interval-metrics

  View on GitHub
  Clojure data structures for performance metrics over discrete time intervals.
  ☆117Oct 28, 2022Updated 3 years ago
• jvoigtlaender / Elm-Tutorium

  View on GitHub
  Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/
  ☆11May 11, 2016Updated 9 years ago