Small programs with unknown halting status.
☆13Jun 7, 2016Updated 9 years ago
Alternatives and similar repositories for unknown_halting_status
Users that are interested in unknown_halting_status are comparing it to the libraries listed below
Sorting:
- A collection of computational methods in science.☆12Jan 6, 2017Updated 9 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- ☆19Aug 4, 2025Updated 7 months ago
- Extra concurrency primitives☆17Nov 25, 2018Updated 7 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Raw string literals for Haskell.☆25Mar 19, 2018Updated 7 years ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆61May 9, 2016Updated 9 years ago
- learning cuda☆20Jun 27, 2016Updated 9 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated last month
- ☆29Sep 14, 2015Updated 10 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- Multidimensional arrays and simple tensor computations☆38Apr 8, 2024Updated last year
- FlowGrid is a visual dataflow programming environment for Android.☆34Jan 10, 2021Updated 5 years ago
- Cofun with Cofree Comonads☆33Jun 13, 2016Updated 9 years ago
- Simple MySQL Async/Await Connection Pool☆10Dec 8, 2022Updated 3 years ago
- A robust, open-source physical layer implementation for FPGA-to-FPGA communication over high-speed serial links of the Quantum Error Corr…☆28Updated this week
- Modular softsynth☆62Sep 6, 2015Updated 10 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Oct 21, 2025Updated 4 months ago
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 7 years ago
- Programmatically generated PCB libraries facilitating robust electronic product design.☆17Dec 15, 2025Updated 2 months ago
- Tomography visualizer for EE103☆10Sep 8, 2015Updated 10 years ago
- A Minesweeper clone with infinite grid written in Haskell.☆33Jun 11, 2022Updated 3 years ago
- ☆27Feb 4, 2026Updated last month
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Low-Code SaaS Framework☆10Jan 14, 2026Updated last month
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- ☆17Jan 3, 2025Updated last year
- ☆89Apr 28, 2024Updated last year
- A CHIP-8 Emulator written in Haskell☆38Oct 5, 2017Updated 8 years ago
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - Sync for Open Web Aps☆11Mar 28, 2019Updated 6 years ago
- Pioneer Scout Plus☆11Dec 27, 2016Updated 9 years ago
- PCIe to .1 inch header breakout☆11Sep 14, 2020Updated 5 years ago