tugraz-isds / datasets
☆16Updated 2 years ago
Alternatives and similar repositories for datasets
Users that are interested in datasets are comparing it to the libraries listed below
Sorting:
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 8 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆368Updated last week
- A lexical analyser generator for Haskell☆307Updated last month
- Materials for my Machine Learning course at University of Wroclaw☆37Updated 3 years ago
- UCI chess engine GUI written in C. The project is in active development and is not ready to use yet☆20Updated last year
- The full power of R in Haskell.☆588Updated last week
- A package index for the Haskell ecosystem☆138Updated this week
- hpack: A modern format for Haskell packages☆648Updated last month
- an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO☆155Updated 11 months ago
- Alternative Haskell Infrastructure for Nixpkgs☆588Updated this week
- The Haskell LaTeX library.☆199Updated last year
- A 2D charting library for haskell☆437Updated 3 weeks ago
- A survival guide to the Department of Advanced Computing Sciences at Maastricht University☆10Updated 2 years ago
- The Monad Transformer Library☆379Updated last week
- A Haskell library to add voice support to discord-haskell.☆16Updated last month
- Minimal implementations for dependent type checking and elaboration☆662Updated last week
- A simple library for reporting compiler/interpreter errors☆262Updated 9 months ago
- Pandoc filters for scientific writing☆18Updated 4 years ago
- Haskell library for building declarative animations based on SVG graphics☆1,154Updated 3 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆419Updated 2 weeks ago
- 🕵️ Haskell STatic ANalyser☆583Updated 3 months ago
- A unit testing framework for Haskell☆129Updated 9 months ago
- Spletna storitev za poučevanje programiranja☆14Updated 10 months ago
- A formal logic framework that runs in the browser☆290Updated 5 months ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆378Updated 3 months ago
- The Happy parser generator for Haskell☆301Updated last week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆714Updated last week
- Haskell library to load & save pictures☆238Updated 11 months ago
- HoTTEST Summer School materials☆297Updated last year
- A formatter for Haskell source code☆993Updated this week