OpenHackC4H / OpenhackC4HLinks
Main place to find anything related to Openhack - Challenges, Solutions, Resources, and our Openhack manual
☆9Updated 2 years ago
Alternatives and similar repositories for OpenhackC4H
Users that are interested in OpenhackC4H are comparing it to the libraries listed below
Sorting:
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- Material for TDA283 / DIT300 Compiler Construction☆16Updated last month
- Haskell Playground☆142Updated last month
- Functional teaching language for use in a discrete mathematics course☆169Updated last week
- Haskell Documentation Tool☆360Updated last year
- Standard library for linear types in Haskell.☆344Updated this week
- A formatter for Haskell source code☆1,000Updated last month
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- The Agda standard library☆614Updated this week
- Efficient Haskell Arrays featuring Parallel computation☆389Updated last week
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆124Updated last week
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated last week
- Generalized bananas, lenses and barbed wire☆347Updated 6 months ago
- Auto generate a stack or cabal multi component hie.yaml file☆209Updated last year
- Algebraic graphs☆739Updated last month
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆16Updated 12 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆634Updated last year
- Hackage-Server: A Haskell Package Repository☆432Updated 2 weeks ago
- Compiling Agda code to readable Haskell☆189Updated last week
- pretty-printer for Haskell data types that have a Show instance☆247Updated 5 months ago
- How I start Haskell.☆100Updated 8 months ago
- Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations☆442Updated 2 weeks ago
- The Monad Transformer Library☆381Updated last month
- An experimental library for Cubical Agda☆491Updated this week
- A re-implementation of weeder using HIE files☆177Updated this week
- higher-order, no-boilerplate monads☆1,055Updated 3 months ago
- This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead☆97Updated 6 years ago
- Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…☆12Updated 8 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 3 months ago
- GRIN backend for GHC☆144Updated 3 years ago