Haskino Examples
☆22Apr 22, 2022Updated 3 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 7 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
- 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 10 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- 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☆16Mar 23, 2026Updated last week
- 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 8 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.☆11Dec 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 7 years ago
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated 2 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Haskell FilePath core library☆75Jan 30, 2026Updated 2 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 2 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Julia embedded in Haskell☆52Dec 14, 2024Updated last year
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- ☆45Dec 6, 2022Updated 3 years ago