Purely functional, persistent and efficient vector and hash-map data structures for Haskell
☆46Nov 28, 2017Updated 8 years ago
Alternatives and similar repositories for pdata
Users that are interested in pdata are comparing it to the libraries listed below
Sorting:
- clojurescript on exponent! with figwheel☆12Apr 23, 2016Updated 9 years ago
- Scala DSL for declaring HTTP routes☆13Oct 27, 2019Updated 6 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Jun 20, 2016Updated 9 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- A persistent B-ish-tree☆57Jun 5, 2019Updated 6 years ago
- FRP (functional reactive programming) framework inspired by RX and Iteratee☆51Sep 11, 2012Updated 13 years ago
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- Exponent.js clojurescript bindings☆30Oct 17, 2017Updated 8 years ago
- Haskell library for PDF generation (graphics and typesetting)☆27Nov 7, 2019Updated 6 years ago
- ☆10Feb 12, 2026Updated 2 weeks ago
- Typesafe URLs for Haskell Wai applications☆46Feb 13, 2024Updated 2 years ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Feb 1, 2022Updated 4 years ago
- These are the code listings from the Learning Core Audio book, in Swift. I hope to illustrate how to call to low-level C APIs (such as Co…☆21Jun 22, 2014Updated 11 years ago
- A Perceptron from scratch in JavaScript☆10May 4, 2025Updated 9 months ago
- ✏ Solidity support for VSCode☆10Jan 11, 2023Updated 3 years ago
- Enables multilingual framework for plugin "WooCommerce - excelling eCommerce".☆11Jul 7, 2018Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A scala dsl for ssh.☆38Oct 3, 2011Updated 14 years ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- REST'ful web framework in Agda☆134Sep 5, 2010Updated 15 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Compositional pipelines☆490Oct 15, 2022Updated 3 years ago
- ☆39Dec 10, 2017Updated 8 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Feb 27, 2021Updated 5 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- Logging framework for Haskell☆66Jan 6, 2026Updated last month
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Erlang Trie Implementation☆132May 18, 2025Updated 9 months ago
- Diving into the data behind signs on Illinois highways that say "957 TRAFFIC DEATHS IN 2012." #peoplenotdata☆16Jul 8, 2021Updated 4 years ago
- CodeChain monitoring tool☆11Apr 5, 2019Updated 6 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- ☆39Apr 13, 2024Updated last year
- gsession.vim saves your session files into the same directory (~/.vim/session/) by default. and auto-detect your session file to load ses…☆26Nov 16, 2015Updated 10 years ago
- Creates widgets for wp_head, wp_footer, admin_head and admin_footer.☆20Oct 26, 2014Updated 11 years ago