VictorTaelin / unknown_halting_statusView external linksLinks
Small programs with unknown halting status.
☆12Jun 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 last month
- ☆19Aug 4, 2025Updated 6 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☆19Jun 27, 2016Updated 9 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 3 weeks ago
- ☆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
- A robust, open-source physical layer implementation for FPGA-to-FPGA communication over high-speed serial links of the Quantum Error Corr…☆26Updated this week
- FlowGrid is a visual dataflow programming environment for Android.☆34Jan 10, 2021Updated 5 years ago
- Cofun with Cofree Comonads☆32Jun 13, 2016Updated 9 years ago
- Simple MySQL Async/Await Connection Pool☆10Dec 8, 2022Updated 3 years ago
- 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 3 months ago
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 7 years ago
- ☆17Jan 3, 2025Updated last year
- Low-Code SaaS Framework☆10Jan 14, 2026Updated last month
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- A Minesweeper clone with infinite grid written in Haskell.☆33Jun 11, 2022Updated 3 years ago
- ☆27Feb 4, 2026Updated last week
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 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
- ☆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
- Mobile IDE☆12Nov 9, 2020Updated 5 years ago
- Numerical is the core library for Numerical Haskell☆139Jun 24, 2024Updated last year
- Yet Another Python Game Engine☆11Nov 22, 2015Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago