Haskino Examples
☆22Apr 22, 2022Updated 4 years ago
Alternatives and similar repositories for haskino-examples
Users that are interested in haskino-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Our Arduino experiments☆75Apr 11, 2018Updated 8 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 6 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.☆16Jan 8, 2020Updated 6 years ago
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Cross platform haskell library for using the serial port☆43Jul 23, 2020Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- 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.
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Support for static values☆22Sep 3, 2024Updated last year
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- Nix expressions for cross compiling to WebAssembly☆146Sep 26, 2020Updated 5 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My home manager config☆16Apr 26, 2026Updated 2 months ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Jul 19, 2023Updated 2 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 9 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Mar 17, 2020Updated 6 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 6 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 8 years ago
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated 5 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell FilePath core library☆74Jan 30, 2026Updated 4 months ago
- DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell☆22Mar 13, 2014Updated 12 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated 5 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Julia embedded in Haskell☆51Dec 14, 2024Updated last year
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- ☆45Dec 6, 2022Updated 3 years ago