Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
☆22May 18, 2023Updated 2 years ago
Alternatives and similar repositories for constrained-categories
Users that are interested in constrained-categories are comparing it to the libraries listed below
Sorting:
- Purely-functional, coordinate-free linear algebra☆30Jun 1, 2025Updated 9 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 3 weeks ago
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆15Aug 2, 2023Updated 2 years ago
- Bindings for Chromium Embedded Framework CEF3 C API☆14Nov 7, 2014Updated 11 years ago
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆22Feb 17, 2025Updated last year
- Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.☆41Jun 17, 2020Updated 5 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 7 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Sep 8, 2025Updated 5 months ago
- Haskell bindings to OpenGL (direct C bindings)☆47Jul 7, 2024Updated last year
- physics engine and other tools for 2D shapes☆30Nov 25, 2018Updated 7 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- The home of the units Haskell package☆101Jun 27, 2025Updated 8 months ago
- Globular☆39Aug 22, 2018Updated 7 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 10 months ago
- ☆48Jul 5, 2019Updated 6 years ago
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- An introduction to the Ruby language in ten lines of code (in Spanish)☆10Mar 4, 2018Updated 7 years ago
- Diferentes scripts para representación de carreras en cifras☆10Mar 6, 2017Updated 8 years ago
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 5 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Perfect Server Side Swift File Uploads example☆10Jul 25, 2016Updated 9 years ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- Utilities for working with OpenGL's GLSL shading language and vinyl records.☆30Sep 11, 2018Updated 7 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- A uniform collection of API bindings for various cryptocurrency exchanges☆13Mar 14, 2018Updated 7 years ago
- A Java GUI application to scrape Magic cards from gatherer.wizards.com☆11Mar 17, 2021Updated 4 years ago
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 9 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- brain reseach programs☆10May 25, 2017Updated 8 years ago
- ☆14Feb 23, 2026Updated last week
- A Brainfuck interpreter written in Agda☆52Aug 9, 2021Updated 4 years ago
- jupyter / jupyterlite kernel for Haskell powered by WebAssembly☆57Updated this week
- ☆10May 3, 2017Updated 8 years ago