HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
☆12Jul 8, 2017Updated 9 years ago
Alternatives and similar repositories for HaVSA
Users that are interested in HaVSA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 8 years ago
- Inductive programming in JavaScript☆25May 31, 2016Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- Logo turtle graphics interpreter in Haskell☆20Oct 20, 2014Updated 11 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- visualizing the value of each individual byte in an emulated NES as a time series☆13Jan 6, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Reimplementation code for the paper "Generative Temporal Models with Spatial Memory for Partially Observed Environments"☆32Jul 20, 2022Updated 4 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- Filling and manupulation with histograms☆17Mar 10, 2025Updated last year
- Playlist creator and manager app using Spotify API☆11Dec 10, 2022Updated 3 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 4 months ago
- ☆16Jun 22, 2017Updated 9 years ago
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- Cloud Haskell - Asynchronous Execution☆18Sep 3, 2024Updated last year
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LitSift: Seamlessly search, sift, and export results from Semantic Scholar to BibTeX/CSV☆15May 27, 2026Updated last month
- SIGPLAN website☆13Updated this week
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- It's like WordPress but on Google☆17Sep 7, 2025Updated 10 months ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 years ago
- A DSL for asynchronous circuits specification☆13Oct 1, 2020Updated 5 years ago
- Indiana Jones and The Infernal Machine Documentation☆13Feb 9, 2026Updated 5 months ago
- ☆25Jun 10, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- ☆21May 22, 2026Updated 2 months ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated 2 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated 2 years ago
- Simple modal text editor in Elm☆11May 21, 2015Updated 11 years ago
- MetroMaps Release☆16May 8, 2014Updated 12 years ago
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago