An interpreter for the While language written in Haskell
☆14Mar 26, 2020Updated 5 years ago
Alternatives and similar repositories for HWhile
Users that are interested in HWhile are comparing it to the libraries listed below
Sorting:
- gallina frontend for CompCert☆19Jul 6, 2019Updated 6 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 11 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 8 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- QGIS C++ API Tutotial☆10May 12, 2015Updated 10 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- WebSocket library for Python (ws4py)☆13Apr 26, 2012Updated 13 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- ☆12May 22, 2016Updated 9 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated last year
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago