snegrini / CLup-SE2-Project-2021
CLup - Customers Line-up - Software Engineering 2 - Requirement Engineering and Design Project - A.Y. 2020-2021
☆8Updated 3 years ago
Alternatives and similar repositories for CLup-SE2-Project-2021:
Users that are interested in CLup-SE2-Project-2021 are comparing it to the libraries listed below
- a simple blockchain (in Haskell) to illustrate basic concepts/operation☆27Updated 4 years ago
- HTML to PureScript converter.☆30Updated 2 years ago
- A modern template for a Servant☆53Updated 9 months ago
- https://hackage.haskell.org/package/typed-session☆10Updated 2 months ago
- A demo of custom Godot lighting shaders that light objects using dithering and custom color palettes.☆12Updated 3 years ago
- How I start Haskell.☆101Updated 3 months ago
- Drop-in CSS themes for syntax highlighting in Hakyll☆29Updated 3 years ago
- agda-mode for neovim☆137Updated 2 weeks ago
- A community-driven collection of documentation for Haskell error messages and warnings☆104Updated last month
- Haskell bindings for raylib☆90Updated 3 months ago
- Production ready, modern web-application starter template using haskell and htmx☆86Updated 3 months ago
- A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plug…☆58Updated last year
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆19Updated 2 years ago
- Haskell bindings for GdNative☆171Updated 6 months ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆104Updated last year
- A collection of Practical Haskell bits.☆85Updated 2 years ago
- Port of purescript-halogen to Haskell☆31Updated last week
- The Haskell Optimization Handbook☆174Updated 4 months ago
- HoTTEST Summer School materials☆295Updated last year
- This might one day be a thesis project☆11Updated 2 years ago
- Lightweight frontend library for GHC with JavaScript Backend☆18Updated last month
- Game of life using SDL2, OpenGL and Yampa☆22Updated last year
- Utilities for creating and transforming push-based subscriptions.☆14Updated 3 months ago
- ☆96Updated 3 weeks ago
- UU AFP Summer School Homepage☆11Updated 5 months ago
- ☆17Updated 4 years ago
- ☆12Updated 3 months ago
- ↔️ tight ghci integration for vim☆17Updated 2 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- ☆59Updated last year