A monad for interfacing with external SMT solvers
☆15Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for Hasmtlib
Users that are interested in Hasmtlib are comparing it to the libraries listed below
Sorting:
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆18Oct 28, 2025Updated 4 months ago
- This SDK allows web-based apps/pages to interact with dictation devices☆17Feb 12, 2026Updated 2 weeks ago
- ☆10Feb 12, 2026Updated 2 weeks ago
- ☆10Mar 5, 2024Updated last year
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- Composable and efficient abstractions for iterating multidimensional spaces in C++☆10Nov 22, 2023Updated 2 years ago
- ☆12Oct 4, 2024Updated last year
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week
- A collection of "useful" AppleScript and JXA utilities.☆15Aug 31, 2022Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Log to W&B from Julia☆12Jun 13, 2022Updated 3 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated last week
- Personal solutions to end-of-chapter questions☆13May 10, 2019Updated 6 years ago
- Tutorials For Data Analysis in Julia☆11Dec 6, 2024Updated last year
- L4 - rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation,…☆24Feb 25, 2026Updated last week
- Configuration manager for leaf based init.el☆12Dec 30, 2025Updated 2 months ago
- Basic starter pack of voice commands for use with Talon Voice☆11Mar 7, 2020Updated 5 years ago
- Create websites without writing any code☆13May 16, 2024Updated last year
- Embedding of python interpreter into haskell programs☆16Jan 13, 2026Updated last month
- ☆14Nov 4, 2025Updated 4 months ago
- A simple, well-documented, pedagogical deep learning framework implemented entirely in Python☆12Sep 27, 2020Updated 5 years ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- open-source, tested backend to protect LLM keys in your app☆15Nov 16, 2025Updated 3 months ago
- Code and Simulations using Bayesian Approximate Kernel Regression (BAKR)☆11Jan 31, 2019Updated 7 years ago
- A utility package designed to streamline various tasks when developing Svelte libraries.☆12Sep 23, 2025Updated 5 months ago
- Sampling-based methods for correcting for class imbalance in two-category classification problems☆12Apr 29, 2023Updated 2 years ago
- [mirror] Configuration-based dotfiles manager☆16Dec 24, 2022Updated 3 years ago
- A complete system for dictating mathematics and LaTeX using Dragon☆13Feb 21, 2021Updated 5 years ago
- A constraint programming solver with support for proof logging☆17Updated this week
- SMTLib2 interface implementation for Haskell☆18Dec 6, 2017Updated 8 years ago
- Talon Community Repo (New API)☆14Jul 15, 2019Updated 6 years ago
- Working through Statistical Rethinking by Richard McElreath☆11Sep 1, 2020Updated 5 years ago
- Call AppleScript from Haskell☆13May 31, 2023Updated 2 years ago