Stars
48
Forks
6
Language
Haskell
Last Updated
Jul 11, 2021
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Haskell | 4 | Haskell programs visualised | Aug 13, 2019 | |
Haskell | 2 | My Haskell Programs | Aug 13, 2019 | |
Haskell | 6 | Just my Haskell programs :) | Feb 22, 2022 | |
Haskell | 7 | Haskell programs writing while learning | Aug 21, 2019 | |
Haskell | 660 | Automatic testing of Haskell programs. | May 15, 2023 | |
Haskell | 5 | Make incomplete or incorrect Haskell programs compile! | Dec 12, 2020 | |
Haskell | 7 | A Haskell framework for friendly commandline programs | Nov 11, 2018 | |
Haskell | 289 | Examples of Dependently-typed programs in Haskell | Apr 09, 2023 | |
Haskell | 2 | A Haskell EDSL to write MetaPost programs | Dec 05, 2019 | |
Elm | 3 | Write Haskell style IO programs in Elm | Nov 30, 2020 | |
Haskell | 3 | Short programs for learning more about haskell | Apr 28, 2020 | |
Haskell | 4 | Graphical User Interfaces for Haskell Programs (Mirror) | Jan 30, 2023 | |
Haskell | 11 | Stack wrapper for single-file Haskell programs. | Mar 29, 2023 | |
Haskell | 8 | tools for design and interpretation of haskell programs | Nov 23, 2021 | |
Haskell | 20 | Interpret Haskell programs into any cartesian closed category. | May 11, 2022 | |
Haskell | 146 | A graphical tool for profiling parallel Haskell programs | Jul 23, 2022 | |
Haskell | 3 | Specification language for Haskell programs of type 'IO ()' | Jun 15, 2022 | |
Haskell | 127 | Format Haskell programs. Inspired by the gofmt utility. | Apr 28, 2023 | |
Haskell | 2 | A personal web framework in Haskell | May 19, 2022 | |
Haskell | 5 | A Haskell library for testing interactive command line programs | Dec 05, 2019 | |
Haskell | 39 | Formally prove properties of Haskell programs using SBV/SMT. | Jan 09, 2022 | |
Haskell | 2 | Haskell programs for exploring ordering patterns in coordinate compounds | Oct 05, 2022 | |
Haskell | 6 | A library for introducing USDT tracepoints into Haskell programs | Apr 11, 2022 | |
Haskell | 9 | Checker for "morally correct" induction proofs about haskell programs | Apr 16, 2023 | |
Vim Script | 2 | Personal config files, mainly for shell programs. | Sep 13, 2022 | |
None | 9 | A catalog of broken Haskell programs to improve error messages | Jun 18, 2017 | |
Haskell | 10 | Preprocessor for inserting literals with binary blobs into Haskell programs. | Dec 05, 2019 | |
Nix | 348 | easily build most Haskell programs into fully static Linux executables | Aug 12, 2022 | |
Haskell | 47 | Example how to link Haskell programs very quickly with lld | Dec 05, 2019 | |
Haskell | 159 | A utility for displaying the module dependencies of Haskell programs. | Aug 06, 2022 | |
Svelte | 107 | Visual tool to spot odd runtime behaviour of Haskell programs. | Sep 01, 2022 | |
Haskell | 7 | Personal website written in Haskell & Reflex using Obelisk | Oct 21, 2021 | |
Haskell | 14 | old personal static blog website made with haskell | Nov 08, 2021 | |
Haskell | 177 | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using … | Aug 20, 2022 | |
Haskell | 2 | A repository to store the programs by students for Haskell Assignments | Jan 14, 2022 | |
Java | 3 | Personal Software Process, Process Dashboard and Java programs. | Feb 25, 2023 | |
TeX | 3 | My personal website, jonreeve.com, written in Haskell, using Ema. | Sep 14, 2022 | |
Haskell | 11 | Logs of https://haskell-jp.slack.com (and programs to save and view them) | Sep 02, 2022 | |
Haskell | 6 | Selected exercises from A Structure and Interpretation of Computer Programs in Haskell | Mar 28, 2021 | |
Haskell | 4 | Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them … | Apr 18, 2021 | |
Haskell | 2 | A Haskell library for line input in command-line programs. http://trac.haskell.org/haskeline | Oct 19, 2018 | |
C# | 2 | A project to enable syntax highlighting, execution and light debugging of Haskell programs | Feb 08, 2023 | |
Perl | 13 | A personal set of Unix "dotfiles" to configure various programs. | Dec 29, 2021 | |
Shell | 28 | My personal (.)dotfiles and configurations for various programs and environments. | Aug 23, 2022 | |
Python | 21 | Configuration ("dotfiles"), small personal programs like scm.py, other misc things... | Mar 26, 2023 | |
Haskell | 2 | A personal economy tracker implemented in lovely Haskell for great fun | Oct 19, 2018 | |
Python | 3 | Personal suite of programs for X-ray analysis of NICER data | Jun 03, 2021 | |
Shell | 2 | My personal collection of configuration files I use for various programs | Mar 04, 2023 | |
Haskell | 3 | A Haskell Library and Command Line Interface to work with MIX archives from the older … | Dec 21, 2020 | |
Haskell | 3 | Very simple text summarization | Mar 06, 2020 |