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 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 15 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My home manager config☆16Apr 26, 2026Updated last month
- 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 7 years ago
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated 4 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
- Haskell FilePath core library☆75Jan 30, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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 4 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Julia embedded in Haskell☆52Dec 14, 2024Updated last year
- Serializable closures for distributed programming.☆65Nov 27, 2023Updated 2 years ago
- ☆45Dec 6, 2022Updated 3 years ago
- ☆11Jul 18, 2023Updated 2 years ago