Experimentation with Idris and WebGL via JavaScript FFI
☆10Apr 10, 2014Updated 12 years ago
Alternatives and similar repositories for idris-webgl
Users that are interested in idris-webgl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- WebGL bindings for Idris.☆14Aug 27, 2014Updated 12 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆39Jan 15, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆24Aug 20, 2011Updated 15 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- lean-related presentations☆18Updated this week
- System POSIX bindings for Idris.☆35Jan 5, 2019Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- A Haskell port of Peter Norvig's simple Python spellchecker☆14May 22, 2013Updated 13 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Try Idris☆34Sep 7, 2015Updated 11 years ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Oct 2, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- Webmachine inspired toolkit for building http applications and services.☆22Sep 13, 2015Updated 11 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- xmonad in Coq☆48Jul 9, 2012Updated 14 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 10 years ago
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 7 years ago
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 10 years ago
- Example ITCH 4.1 parser in Haskell/Ragel/C99☆16May 23, 2012Updated 14 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 11 years ago