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
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- 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.
- A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.☆16Jan 8, 2020Updated 6 years ago
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 9 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
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 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
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Nix expressions for cross compiling to WebAssembly☆145Sep 26, 2020Updated 5 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- My home manager config☆16Jun 30, 2026Updated last month
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Jul 19, 2023Updated 3 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.
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 9 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 7 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
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Mar 17, 2020Updated 6 years ago
- Agnus-Copper inspired library for easy raster interrupt handling.☆12Nov 15, 2024Updated last year
- Covert Bitops www pages. C64-related material.☆12Updated this week
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated 6 months ago
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 8 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated 6 months ago
- Set of tools for making C64 development with KickAssembler easier☆11Apr 7, 2017Updated 9 years ago
- Haskell FilePath core library☆74Jan 30, 2026Updated 6 months ago
- ☆11Jul 18, 2023Updated 3 years 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