ku-fpg / haskino-examplesView external linksLinks
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
Sorting:
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 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
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 years ago
- A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.☆16Jan 8, 2020Updated 6 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years 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
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- The Complete Nix Project Management Tool☆17Mar 11, 2017Updated 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 10 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 8 years ago
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 6 months ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated last month
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Official Unison extension for Visual Studio Code☆23Jan 28, 2026Updated 2 weeks ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- Julia embedded in Haskell☆52Dec 14, 2024Updated last year
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Dec 20, 2019Updated 6 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Jul 19, 2023Updated 2 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Managing third-party Haskell packages in Bazel☆30Jun 18, 2019Updated 6 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- Database-Supported Haskell☆29Feb 24, 2018Updated 7 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- Haskell bindings for secp256k1 library☆24May 9, 2025Updated 9 months ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Mar 17, 2020Updated 5 years ago
- ☆26Aug 31, 2020Updated 5 years ago
- Rapid prototyping with GHCi☆59Jul 10, 2018Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 7 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Apr 9, 2020Updated 5 years ago
- ☆44Dec 6, 2022Updated 3 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Haskell generic interface (type classes) for cryptographic algorithms☆29Jun 16, 2017Updated 8 years ago