Support for static values
☆22Sep 3, 2024Updated last year
Alternatives and similar repositories for distributed-static
Users that are interested in distributed-static are comparing it to the libraries listed below
Sorting:
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 15 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 8 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆11Dec 29, 2015Updated 10 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell☆22Mar 13, 2014Updated 12 years ago
- [DEPRECATED] A configuration service | owner: @willsewell☆12Aug 11, 2020Updated 5 years ago
- Lastfm API interface.☆13Mar 22, 2020Updated 5 years ago
- General purpose bi-directional codecs☆15Oct 20, 2023Updated 2 years ago
- ☆15Sep 26, 2020Updated 5 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- RP2040 PIO-based PDM input to I2S output example☆14Sep 12, 2023Updated 2 years ago
- ☆11Mar 9, 2016Updated 10 years ago
- Simplify usage of nix dependencies during haskell development☆32May 9, 2019Updated 6 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- evaluation using f-algebras☆23Sep 7, 2015Updated 10 years ago
- iOS6 AutoLayout backport to iOS5☆245Jul 10, 2013Updated 12 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Stk is a free, real time stock quotes, charts and market overview.☆17Sep 12, 2018Updated 7 years ago
- Storage specification for various HLL implementations☆21Oct 11, 2018Updated 7 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- Thunk middleware for Redux.NET☆13Jan 15, 2016Updated 10 years ago
- Haskell bindings to the Java Native Interface☆38Oct 10, 2016Updated 9 years ago
- mysql sniff tool☆11Jun 1, 2018Updated 7 years ago
- Wireless A/C controller☆17Jul 18, 2020Updated 5 years ago
- The famous MASShortcut library converted to a Swift Package.☆13Aug 22, 2025Updated 6 months ago
- goahead☆10Jun 3, 2013Updated 12 years ago
- Presentations I've given☆12Jan 13, 2017Updated 9 years ago
- Experimental Haskell PHP parser / evaluator / code generator☆50Apr 28, 2015Updated 10 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Jan 1, 2016Updated 10 years ago
- Accrete is a physical simulation of solar system planet formation. This simulation works by modelling a dust cloud around a Sun-like star…☆14Aug 13, 2013Updated 12 years ago