Haskell bindings for PicoSAT solver
☆17May 6, 2020Updated 5 years ago
Alternatives and similar repositories for haskell-picosat
Users that are interested in haskell-picosat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cabal Sandbox manager☆14May 24, 2016Updated 9 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Windows build environment for Python☆11Dec 2, 2014Updated 11 years ago
- Sphinx / Doxygen bridge☆15Jun 8, 2021Updated 4 years ago
- Math library supporting Scenic☆16Sep 17, 2018Updated 7 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.
- cloudpickle support for generators, including partially consumed generators.☆17Jun 17, 2023Updated 2 years ago
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- common lisp/parenscript wrappers for WebGL☆15Apr 10, 2012Updated 13 years ago
- Gradient Descent optimizers for Julia☆12May 26, 2020Updated 5 years ago
- Use ROS with the Nix package manager☆18Jan 14, 2018Updated 8 years ago
- Compute shrinkage estimates of the covariance matrix☆15Oct 12, 2015Updated 10 years ago
- An haskell TrueType file parser☆38Mar 31, 2023Updated 2 years ago
- FFI for OpenCL☆12Dec 19, 2015Updated 10 years ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- ☆12Jun 28, 2018Updated 7 years ago
- Watch HTTP requests as they happen☆18Dec 30, 2015Updated 10 years ago
- Code associated with "A Deep-Learning View of Chemical Space Designed to Facilitate Drug Discovery"☆23Feb 1, 2022Updated 4 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 10 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- functional template library☆15Jun 13, 2016Updated 9 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆17Aug 5, 2015Updated 10 years ago
- Rust implementation of the book "Ray Tracing in One Weekend" by Peter Shirley☆14Jul 21, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Virtual DOM for Julia☆22Feb 8, 2020Updated 6 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- 3D version of snake☆16Sep 5, 2017Updated 8 years ago
- Scripts for installing utilities and setting preferences on a brand new OS X El Capitan.☆13Jun 9, 2020Updated 5 years ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- experiments in linux sandbox stuff☆27May 5, 2015Updated 10 years ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Aug 19, 2017Updated 8 years ago
- SmartSSD related benchmarks and toy applications☆13Nov 1, 2023Updated 2 years ago
- ☆29Dec 1, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Verification tools for HardCaml☆10Jun 13, 2018Updated 7 years ago
- The Bangra Programming Language (github mirror)☆38Jan 4, 2018Updated 8 years ago
- conda build recipes for the Omnia project☆24Aug 3, 2021Updated 4 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- ☆21Mar 5, 2017Updated 9 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- a hex-grid library for elm☆17Oct 21, 2017Updated 8 years ago