nothing to see here
☆21Nov 5, 2016Updated 9 years ago
Alternatives and similar repositories for vr
Users that are interested in vr are comparing it to the libraries listed below
Sorting:
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- Binary streaming library for Postgres data pipelines☆17Oct 2, 2019Updated 6 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- ☆11May 7, 2023Updated 2 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- Generates a Nix expression for your Bundler-managed application.☆12Jan 28, 2015Updated 11 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- Chrome Extension to display a user's longest GitHub contribution streak in the last year☆10Jun 13, 2016Updated 9 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- ☆13Jun 13, 2014Updated 11 years ago
- A more flexible mtl☆62Feb 23, 2018Updated 8 years ago
- ☆22Oct 20, 2025Updated 4 months ago
- API for Coinbase Pro☆19Feb 3, 2024Updated 2 years ago
- Utility for creating .hsc files from C API header files☆26Mar 9, 2024Updated last year
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- Superseeded by https://github.com/hercules-ci/hercules☆21Jan 12, 2017Updated 9 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated last month
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated this week
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 11 months ago
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Oct 20, 2018Updated 7 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Sep 21, 2018Updated 7 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- Haskell data types and functions for countries☆28Mar 7, 2025Updated 11 months ago
- ☆31Oct 31, 2021Updated 4 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- My NixOS configuration☆26Dec 8, 2023Updated 2 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project☆64May 10, 2017Updated 8 years ago
- help you to create Local tasks are what generate the tabs on top of pages (up to two levels).☆10Jan 11, 2016Updated 10 years ago
- ☆25Aug 10, 2016Updated 9 years ago