☆20Mar 30, 2022Updated 3 years ago
Alternatives and similar repositories for bash
Users that are interested in bash are comparing it to the libraries listed below
Sorting:
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 6 years ago
- An open source reimplementation of Neil Mitchell's Shake build system☆18Aug 19, 2013Updated 12 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 15 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆22Mar 3, 2026Updated 2 weeks ago
- Haskell bindings for CouchDB☆32Apr 25, 2015Updated 10 years ago
- pointed and copointed data☆23Mar 3, 2025Updated last year
- Tools for GNU Radio interferometry at Allen Telescope Array☆16Feb 20, 2022Updated 4 years ago
- A Bukkit plugin for digital redstone integrated circuits☆22Sep 23, 2023Updated 2 years ago
- Import of Bernhard Oemer's Quantum Computer Language simulator.☆15Apr 17, 2013Updated 12 years ago
- Basic chat functionality for Bukkit☆15Jan 13, 2013Updated 13 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- Developer debug tools☆24Feb 3, 2012Updated 14 years ago
- Just in Time Datastructures☆11Feb 21, 2017Updated 9 years ago
- Radio hardware and software projects.☆27May 24, 2016Updated 9 years ago
- Rust bindings to the UHD (USRP Hardware Driver) library☆21May 18, 2025Updated 10 months ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- (PLEASE USE https://github.com/HanKruiger/tsNET) This is here for historical purpose only.☆10Mar 10, 2019Updated 7 years ago
- Practical functional programming in JavaScript☆71Aug 29, 2012Updated 13 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 10 months ago
- AI library developed in functional scala☆14Dec 28, 2015Updated 10 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- Frege interface to Android☆14Sep 16, 2015Updated 10 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Provides a home system for Bukkit☆25Feb 3, 2012Updated 14 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- Lua VM implemented in Javascript☆62Dec 15, 2012Updated 13 years ago
- ☆11Jan 5, 2026Updated 2 months ago
- A couchdb client in Rust☆18Sep 11, 2017Updated 8 years ago
- JSON driven NFT discord/twitter bot for Blockstack NFTs☆10Dec 27, 2021Updated 4 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- A definition and reference implementation for MRA in PureScript.☆17Aug 11, 2017Updated 8 years ago
- Use fzf with a config file + others goodies☆15Nov 13, 2022Updated 3 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago