Alternatives and similar repositories for fphistoryru

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

• klapaucius / vector-hashtables

  View on GitHub
  ☆38Jan 11, 2026Updated last month
• kevinsullivan / TLAPlusDocker

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• 7mind / baboon

  View on GitHub
  Data modeling and versioning language with automatic evolution derivation
  ☆23Updated this week
• sergv / vector-quicksort

  View on GitHub
  Haskell sort as fast as C++ (on some platforms)
  ☆16Aug 23, 2025Updated 5 months ago
• haskell / blog.haskell.org

  View on GitHub
  Repository of the Haskell Blog
  ☆15Jan 26, 2026Updated 2 weeks ago
• ruHaskell-learn / lhx

  View on GitHub
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated this week
• rmculpepper / crypto

  View on GitHub
  ☆17Jun 21, 2022Updated 3 years ago
• Bodigrim / tasty-bench-fit

  View on GitHub
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Dec 26, 2025Updated last month
• 0xd34df00d / hsqoi

  View on GitHub
  Haskell implementation of the QOI image format
  ☆17Jun 30, 2023Updated 2 years ago
• flupe / generics

  View on GitHub
  ☆23Jul 1, 2024Updated last year
• bgavran / Lens_Resources

  View on GitHub
  Theory and Applications of Lenses and Optics
  ☆56Apr 29, 2022Updated 3 years ago
• chrisdone-archive / webshow

  View on GitHub
  Show programming language printed values in a web UI
  ☆24May 16, 2019Updated 6 years ago
• Bodigrim / linear-builder

  View on GitHub
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆98Dec 28, 2025Updated last month
• effectfully / random-stuff

  View on GitHub
  ☆20Aug 13, 2024Updated last year
• sequents / code

  View on GitHub
  Proof theory seminar
  ☆36Apr 6, 2021Updated 4 years ago
• Z-snails / Idris2-Grin

  View on GitHub
  GRIN backend for Idris2
  ☆33Jul 3, 2022Updated 3 years ago
• effectfully / Generic

  View on GitHub
  A library for doing generic programming in Agda
  ☆36Jan 27, 2021Updated 5 years ago
• plhx / cogfont

  View on GitHub
  the mind-blowing sci-fi font
  ☆11Mar 2, 2022Updated 3 years ago
• ezyang / compact

  View on GitHub
  Compact regions library for Haskell
  ☆82Jul 2, 2024Updated last year
• viperproject / VerifiedSCION

  View on GitHub
  Verifying the SCION architecture using Gobra
  ☆11Updated this week
• RobinTail / merge-sx

  View on GitHub
  Combines multiple SxProps for Material UI components.
  ☆14Feb 8, 2026Updated last week
• mtikekar / vim-bsv

  View on GitHub
  Vim plugin for Bluespec SystemVerilog (BSV)
  ☆11Nov 8, 2020Updated 5 years ago
• rbkmoney / machinegun

  View on GitHub
  Machinegun FSM processor
  ☆10Dec 1, 2021Updated 4 years ago
• jeffreycassidy / BlueLink

  View on GitHub
  Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)
  ☆11May 25, 2016Updated 9 years ago
• treeowl / sort-traversable

  View on GitHub
  Sort any Traversable container
  ☆42Jun 22, 2022Updated 3 years ago
• parsonsmatt / rowdy

  View on GitHub
  A convenient DSL for describing web routes
  ☆42Nov 21, 2020Updated 5 years ago
• chr15m / roguelike-celebration-2021

  View on GitHub
  Talk: Building Juicy Minimal Roguelikes in the Browser
  ☆16Oct 29, 2021Updated 4 years ago
• Rasie1 / c-of-x

  View on GitHub
  a programming language with composable refinements and inverse functions inference
  ☆10Feb 5, 2024Updated 2 years ago
• Sacret / game

  View on GitHub
  ☆11Jan 28, 2024Updated 2 years ago
• amesgen / safe-wild-cards

  View on GitHub
  Tame RecordWildCards
  ☆14Dec 30, 2024Updated last year
• Lollison / LuaDebug

  View on GitHub
  Что-то. Надо много сделать
  ☆10Mar 21, 2020Updated 5 years ago
• cedlemo / rameau

  View on GitHub
  A console client for mpd written in OCaml
  ☆12Jan 5, 2019Updated 7 years ago
• dnvriend / akka-persistence-jounal-writer

  View on GitHub
  Write events directly to an akka-persistence journal bypassing persistent-actor lifecycle overhead
  ☆10Aug 24, 2018Updated 7 years ago
• asdf-community / asdf-racket

  View on GitHub
  Racket plugin for the asdf version manager [maintainer=@nandalopes]
  ☆13Jan 4, 2025Updated last year
• devsnek / tis100.js

  View on GitHub
  TIS-100 Implementation in JavaScript
  ☆10Sep 19, 2019Updated 6 years ago
• jchavarri / the-super-tiny-compiler

  View on GitHub
  Possibly the smallest compiler ever
  ☆10Oct 2, 2017Updated 8 years ago
• guizmaii-opensource / zio-uuid

  View on GitHub
  UUID V1, V6, V7 & TypeID generation with ZIO
  ☆12Updated this week
• the-carlisle-group / Acre-Desktop

  View on GitHub
  A simple Dyalog APL IDE plugin that introduces "projects" and allows you to keep your source code in Unicode text files.
  ☆12Mar 15, 2022Updated 3 years ago
• svenvc / UTF8String

  View on GitHub
  A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation
  ☆12May 7, 2022Updated 3 years ago