deepfire/holotype external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

deepfire/holotype

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/deepfire/holotype)

Close

deepfire / holotypeView on GitHubMore

• External links
• Readme badge

An attempt to reimagine knowledge interaction.

☆18Sep 27, 2020Updated 5 years ago

Alternatives and similar repositories for holotype

Users that are interested in holotype are comparing it to the libraries listed below

• qfpl / reflex-brick

  View on GitHub
  Build terminal UIs using reflex and brick
  ☆15Jun 27, 2019Updated 6 years ago
• typeable / nixpkgs-stackage

  View on GitHub
  Stackage overlay for Nixpkgs
  ☆25Apr 15, 2020Updated 5 years ago
• picnoir / KeyWar

  View on GitHub
  Twitch overlay displaying what you are typing
  ☆14Oct 13, 2017Updated 8 years ago
• mpickering / hashtag-coerce

  View on GitHub
  A GHC source plugin which detects opportunities to use coerce
  ☆17Aug 8, 2018Updated 7 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• robx / triples

  View on GitHub
  Triples card game
  ☆13Aug 12, 2022Updated 3 years ago
• deepfire / nix-pills-compact-edition

  View on GitHub
  Nix Pills: Compact Edition
  ☆23Jul 25, 2015Updated 10 years ago
• quchen / show-prettyprint

  View on GitHub
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Dec 13, 2019Updated 6 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• emilaxelsson / syntactic

  View on GitHub
  Generic representation and manipulation of abstract syntax
  ☆27May 26, 2022Updated 3 years ago
• Gabriella439 / Haskell-Errors-Library

  View on GitHub
  Type-safe error handling
  ☆64Oct 12, 2023Updated 2 years ago
• deech / fltkhs-media-player

  View on GitHub
  ☆11Sep 19, 2017Updated 8 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• Plutonomicon / plutarch-core

  View on GitHub
  Plutarch 2.0
  ☆19Mar 31, 2025Updated 11 months ago
• nikita-volkov / list-t

  View on GitHub
  ListT done right
  ☆15Oct 11, 2023Updated 2 years ago
• konn / equational-reasoning-in-haskell

  View on GitHub
  Agda-style equational reasoning in Haskell
  ☆54Jan 18, 2026Updated 2 months ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 8 months ago
• adnelson / nix-binary-cache

  View on GitHub
  Haskell implementation of a nix binary cache and client.
  ☆13Jan 4, 2018Updated 8 years ago
• haskell-nix / hnix-web-repl

  View on GitHub
  A REPL for nix expressions in your browser
  ☆13May 5, 2018Updated 7 years ago
• ejconlon / analyze

  View on GitHub
  making data science easy and safe with data frames in haskell
  ☆28Jul 31, 2017Updated 8 years ago
• blitz / hydrasect

  View on GitHub
  The tool that makes bisecting nixpkgs pleasant.
  ☆17Jan 22, 2026Updated last month
• nikita-volkov / deque

  View on GitHub
  Double-ended queues
  ☆14Feb 3, 2025Updated last year
• NixOS / distribution-nixpkgs

  View on GitHub
  Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…
  ☆17Oct 19, 2022Updated 3 years ago
• diffusionkinetics / open

  View on GitHub
  DiffusionKinetics open-source monorepo
  ☆116Jan 10, 2023Updated 3 years ago
• parsonsmatt / rowdy

  View on GitHub
  A convenient DSL for describing web routes
  ☆42Nov 21, 2020Updated 5 years ago
• LeventErkok / sbvPlugin

  View on GitHub
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆47Jan 12, 2026Updated 2 months ago
• chessai / eigen

  View on GitHub
  Haskell bindings to the Eigen C++ library
  ☆16May 23, 2024Updated last year
• vincenthz / hs-memory

  View on GitHub
  haskell memory
  ☆49Aug 14, 2023Updated 2 years ago
• arunpkio / CustomFileSystemModel

  View on GitHub
  An extended version of QFileSystemModel with access to parent directory
  ☆12Feb 27, 2019Updated 7 years ago
• rudymatela / tankode

  View on GitHub
  A programming action game.
  ☆14Feb 15, 2024Updated 2 years ago
• samplecount / shake-language-c

  View on GitHub
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Feb 9, 2021Updated 5 years ago
• acfoltzer / gitrev

  View on GitHub
  Compile git revision info into Haskell projects
  ☆50Jan 3, 2024Updated 2 years ago
• Enecuum / Node

  View on GitHub
  Comprehensive framework to build network actors and distributed applications
  ☆44Mar 14, 2019Updated 7 years ago
• djv / VisualProf

  View on GitHub
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Sep 18, 2015Updated 10 years ago
• Astrrra / ESP8266GeminiServer

  View on GitHub
  A gemini server implementation for the ESP8266
  ☆15Jan 21, 2023Updated 3 years ago
• danr / hipspec

  View on GitHub
  A hip inductive theorem prover!
  ☆90Nov 19, 2021Updated 4 years ago
• ElvishJerricco / simple-hydra

  View on GitHub
  A simple module for enabling Hydra
  ☆14May 25, 2020Updated 5 years ago
• owickstrom / motor

  View on GitHub
  Type-safe effectful state machines in Haskell
  ☆96Sep 13, 2020Updated 5 years ago
• nlewo / hydra-cli

  View on GitHub
  A client for the Hydra Nix CI
  ☆50Jul 22, 2024Updated last year