-
-
-
io-sim Public
Forked from input-output-hk/io-simHaskell's IO simulator which closely follows core packages (base, async, stm).
Haskell Apache License 2.0 UpdatedMay 7, 2025 -
laop Public
Linear Algebra of Programming - Algebraic Matrices in Haskell
-
-
raspberry-pi-nix Public
Forked from nix-community/raspberry-pi-nixNixOS modules to aid in configuring NixOS for raspberry pi products
Nix MIT License UpdatedMay 28, 2024 -
-
-
engineering Public
Forked from input-output-hk/engineeringSources for the IOG Engineering blog
JavaScript UpdatedJun 28, 2023 -
emanote Public
Forked from srid/emanoteSpiritual successor to neuron, based on Ema.
Haskell GNU Affero General Public License v3.0 UpdatedJun 26, 2023 -
A plain text note-taking assistant
Go GNU General Public License v3.0 UpdatedMay 18, 2023 -
-
DenotationalNumbers Public
From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type
2 UpdatedMar 7, 2023 -
ekg-forward Public
Forked from input-output-hk/ekg-forwardEKG forwarding library
Haskell Apache License 2.0 UpdatedJan 26, 2023 -
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedDec 12, 2022 -
kanji-sheet Public
Forked from jensechu/kanjiCustomizable Kanji character charts that are easily printable to help practice writing.
JavaScript UpdatedSep 28, 2022 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJul 20, 2022 -
denotational-arithmetic Public
Puzzle: arithmetic via denotational design
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 17, 2022 -
-
advent-of-haskell-dd Public
Day 9 of Advent of Haskell - Denotational Design
-
-
AbbrevMan.nvim Public
🍍 A NeoVim plugin for managing vim abbreviations.
-
-
nix-hs-template Public
Haskell + Nix project setup Cookiecutter template
-
agda-categories Public
Forked from agda/agda-categoriesA new Categories library for Agda
Agda MIT License UpdatedDec 23, 2020 -
-
-
alloy-pastry-dht Public
Modelling, Specification and Verification of the DHT Pastry protocol, using Alloy.
{{ message }}