Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.
☆10Oct 19, 2022Updated 4 years ago
Alternatives and similar repositories for hsExprTest
Users that are interested in hsExprTest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- variadic pointers and references☆22Oct 7, 2026Updated 3 weeks ago
- Opinionated C++20 embedded library☆27Oct 11, 2026Updated 2 weeks ago
- Linux process monitor in RUST☆13May 5, 2018Updated 8 years ago
- Pure Julia implementation of 1D & 2D cubic Hermite spline interpolation.☆13Sep 6, 2024Updated 2 years ago
- A straight-forward react component logic reusing and close-coupling prevention utility☆11May 24, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A collection of styled React components☆11Updated this week
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆14May 1, 2016Updated 10 years ago
- Fetch and automatically update nix derivation sources☆10Sep 3, 2024Updated 2 years ago
- PayPal basic library and Nette component☆15Apr 29, 2016Updated 10 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 7 years ago
- Elm library to detect collision of geometry in coordinate space, AKA: are objects touching or overlapping?☆12Mar 16, 2022Updated 4 years ago
- Incubator for PHP components under development☆19Feb 5, 2025Updated last year
- Regression Analysis for Julia☆12Sep 8, 2019Updated 7 years ago
- ✨ A curated list of awesome Brno places☆18Oct 28, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- AI reads HN 4x daily, writes spicy digests. t.me/claudehn☆17Updated this week
- Flexible generation of identicons in Haskell☆17Aug 2, 2026Updated 2 months ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 9 years ago
- ☆15May 21, 2022Updated 4 years ago
- AGPL licensed Octotree fork☆13Dec 22, 2020Updated 5 years ago
- Julia bindings for the data compression library zfp☆17Jul 18, 2026Updated 3 months ago
- Opinionated development environment for building Elm apps☆12Sep 20, 2017Updated 9 years ago
- Discontinued! See https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280 (Previously: "Making sure your PR gets a review…☆19Apr 16, 2022Updated 4 years ago
- Small, opinionated container deploy CLI + TUI. Drives Docker on remote hosts via SSH; one YAML file describes services, dependencies, net…☆14Jun 26, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆22Mar 5, 2024Updated 2 years ago
- Flarum extension. Transliterator for urls.☆10Aug 4, 2018Updated 8 years ago
- Database management in single PHP file☆15Oct 15, 2012Updated 14 years ago
- RFC Dependency Graphing Tool☆13Jan 5, 2024Updated 2 years ago
- LaTeX package to write Graphviz (dot) files inline☆12Sep 2, 2015Updated 11 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Jul 29, 2019Updated 7 years ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- HTML tables for yesod☆14May 4, 2017Updated 9 years ago
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- JS library to compute isomorphisms between two graphs☆10Apr 9, 2016Updated 10 years ago
- Functional C++ iterator library☆25Jun 18, 2022Updated 4 years ago
- Simple CMS built on top of Nette Framework and Doctrine 2. Project is no longer maintained.☆17Mar 9, 2012Updated 14 years ago
- Instrospect function signatures to construct a CLI☆16Apr 16, 2021Updated 5 years ago
- Flarum chat for pushedx.net☆14Feb 8, 2020Updated 6 years ago
- ☆13Dec 25, 2018Updated 7 years ago
- Script and custom MySQL database user authentication plugin for the CraftBukkit Minecraft server.☆13Feb 13, 2014Updated 12 years ago