An online platform for political participation in schools in Germany (not in active development)
☆26Feb 2, 2023Updated 3 years ago
Alternatives and similar repositories for aula
Users that are interested in aula are comparing it to the libraries listed below
Sorting:
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 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
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- 3D-Rubik's cube simulator written in Haskell using Gloss☆29Oct 18, 2020Updated 5 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated 9 months ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Feb 20, 2026Updated 2 weeks ago
- A representative FP Castle☆19Jan 16, 2026Updated last month
- TypeScript SDK to easily write p2panda applications☆19Dec 6, 2024Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Normalise GHC.TypeLits.Nat equations☆43Feb 25, 2026Updated last week
- An API for the Interactive Brokers Trader Workstation written in pure Haskell☆18Dec 30, 2017Updated 8 years ago
- A compatibility layer for base☆21Jan 11, 2026Updated last month
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆48Dec 23, 2018Updated 7 years ago
- ☆17May 10, 2017Updated 8 years ago
- A string diagram generator for LaTeX.☆31Jun 27, 2023Updated 2 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- Prevent or capture output to stdout or other handles in Haskell☆23Jan 5, 2026Updated 2 months ago
- Create command line interfaces with ease☆41Jan 21, 2023Updated 3 years ago
- A command-line tool for live monitoring☆25Feb 21, 2026Updated last week
- A simple, purely-functional programming language☆25Jun 11, 2022Updated 3 years ago
- Better errors when decoding JSON values☆31Apr 9, 2025Updated 10 months ago
- parser for config files, shell variables, command line args.☆22Jun 30, 2016Updated 9 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Jan 4, 2026Updated 2 months ago
- Library and tool for parsing .eventlog files from GHC☆37Feb 18, 2026Updated 2 weeks ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Jul 23, 2025Updated 7 months ago