☆13Jun 4, 2018Updated 7 years ago
Alternatives and similar repositories for how-this-presentation
Users that are interested in how-this-presentation are comparing it to the libraries listed below
Sorting:
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- ☆17Jun 29, 2020Updated 5 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Get the Haskell documentation of a name from a module☆31May 15, 2019Updated 6 years ago
- Syntax highlighting for Dhall☆69May 18, 2024Updated last year
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 9 years ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- Dhall support for the DOT language for graphviz☆38Sep 5, 2022Updated 3 years ago
- Purescript bindings for Threejs☆32Jan 9, 2019Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- React vertical timeline component☆13Updated this week
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Dec 30, 2015Updated 10 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Cochlear sound spectrum☆37Feb 29, 2020Updated 6 years ago
- Conway's game of life in 100 lines or less!☆35Aug 10, 2017Updated 8 years ago
- ☆36Jul 30, 2018Updated 7 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Sublime Open Shading Language☆16Feb 23, 2019Updated 7 years ago
- ☆18Mar 6, 2013Updated 12 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- Small experimental Unity project: DXR + Spline☆14Sep 13, 2023Updated 2 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Beccaccino is an easy, sexy, reliable, framework agnostic http client for redux that is ⚡️beccaccino fast!☆12Dec 9, 2022Updated 3 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Repo for hands-on held on 19/04/28.☆10May 1, 2019Updated 6 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- An implementation of first-class pattern matches in Haskell.☆13Updated this week
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Scaffolding for multi-user Elm applications via Gulp, Express, and SockJS.☆10Apr 10, 2015Updated 10 years ago
- Private file hosting☆11Feb 10, 2026Updated 3 weeks ago
- Header only C++11 IES loader/writer☆13Apr 3, 2024Updated last year
- PureECS アニメーション検証☆12Dec 3, 2018Updated 7 years ago
- A highly-tuned and up-to-date VimConf being maintained by the engineers at Intuitive Web Solutions.☆24Apr 20, 2016Updated 9 years ago