0xd34df00d
Follow
Highlights
- Pro
-
hakyll Public
Forked from jaspervdj/hakyllA static website compiler library in Haskell
Haskell Other UpdatedMar 2, 2025 -
leechcraft Public
LeechCraft is a free open source cross-platform modular internet-client. LeechCraft allows to browse the web, read RSS/Atom feeds, download files via BitTorrent, FTP, HTTP and DC, automatically dow…
-
-
necogda Public
Agda for neovim
-
-
-
monad-bayes Public
Forked from tweag/monad-bayesA library for probabilistic programming in Haskell.
Jupyter Notebook MIT License UpdatedJan 4, 2025 -
liblastfm Public
Forked from drfiemost/liblastfmliblastfm ported to Qt6
C++ GNU General Public License v3.0 UpdatedNov 24, 2024 -
-
-
-
-
-
agda-install Public
My little stack.yaml file to install Agda with the stackage LTS I'm using for most of the rest of my stuff
UpdatedMay 4, 2024 -
enum-subset-generate Public
Generate an ADT with a subset of constructors of another ADT, along with mapping functions
-
-
inline-asm Public
Inline Assembly code in ur Haskell!
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedNov 30, 2023 -
idris2-pack Public
Forked from stefan-hoeck/idris2-packIdris BSD 3-Clause "New" or "Revised" License UpdatedNov 23, 2023 -
idris2-indexed-vect Public
Indexed vectors for Idris!
-
hsqoi Public
Haskell implementation of the QOI image format
-
counting-chars Public
Small and stupid benchmarking of ways of counting a char in a big string
-
idris2-safe-buffers Public
Safe (length-aware) wrappers around `Data.Buffer`
Idris UpdatedMay 29, 2023 -
can-i-haz Public
Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
-
vim-agda-async Public
Forked from tsung-ju/vim-agda-asyncVim Script GNU General Public License v3.0 UpdatedApr 15, 2023 -
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedMar 13, 2023 -
fizzbuzz-i Public
FizzBuzz, formally verified, provably correct
-
edit-distance-linear-bench Public
The different implementations and benchmarks for the edit-distance linear algorithms
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 19, 2023 -
edit-distance-linear Public
Levenshtein edit distance in linear memory (also turns out to be faster than C++)
-
cmake-syntax Public
A library for parsing CMake syntax