☆51Mar 2, 2026Updated last week
Alternatives and similar repositories for fphistoryru
Users that are interested in fphistoryru are comparing it to the libraries listed below
Sorting:
- ☆38Jan 11, 2026Updated last month
- ☆10Oct 11, 2022Updated 3 years ago
- Data modeling and versioning language with automatic evolution derivation☆24Updated this week
- Haskell sort as fast as C++ (on some platforms)☆16Aug 23, 2025Updated 6 months ago
- Repository of the Haskell Blog☆15Jan 26, 2026Updated last month
- ☆17Feb 18, 2026Updated 2 weeks ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Dec 26, 2025Updated 2 months ago
- ☆23Jul 1, 2024Updated last year
- Workarounds for ELAN1200 touchpad in Linux☆20Jan 1, 2021Updated 5 years ago
- Haskell implementation of the QOI image format☆17Jun 30, 2023Updated 2 years ago
- Theory and Applications of Lenses and Optics☆56Apr 29, 2022Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆98Dec 28, 2025Updated 2 months ago
- ☆20Aug 13, 2024Updated last year
- Proof theory seminar☆35Apr 6, 2021Updated 4 years ago
- Daily Generated Relative Strength Stocks Output☆17Updated this week
- GRIN backend for Idris2☆33Jul 3, 2022Updated 3 years ago
- A library for doing generic programming in Agda☆36Jan 27, 2021Updated 5 years ago
- An extended version of QFileSystemModel with access to parent directory☆12Feb 27, 2019Updated 7 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- This NodeJS app joins Zwift with fitness machines running iFit® over Wi-Fi/Bluetooth.☆10Jun 24, 2022Updated 3 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Haml for Common Lisp☆15Jun 9, 2017Updated 8 years ago
- Open source embroidery card hardware and software for old brother embroidery machines☆14Aug 15, 2024Updated last year
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- Racket plugin for the asdf version manager [maintainer=@nandalopes]☆13Jan 4, 2025Updated last year
- ACM SIGCOMM eBook on Recent Advances in Networking☆21Jan 13, 2014Updated 12 years ago
- todo2(a.k.a. todo or die) - A better todo! macro inspired from searls/todo_or_die☆11Updated this week
- ☆11Jan 28, 2024Updated 2 years ago
- ☆12Aug 13, 2025Updated 6 months ago
- My emacs config☆10Jul 3, 2021Updated 4 years ago
- ☆10Oct 16, 2024Updated last year
- Scalacheck Arbitrary type class derivation using magnolia☆10Jan 13, 2023Updated 3 years ago
- Write events directly to an akka-persistence journal bypassing persistent-actor lifecycle overhead☆10Aug 24, 2018Updated 7 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- a programming language with composable refinements and inverse functions inference☆10Feb 5, 2024Updated 2 years ago