sdiehl/haskell-picosat external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sdiehl/haskell-picosat

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sdiehl/haskell-picosat)

Close

sdiehl / haskell-picosatView on GitHubMore

• External links
• Readme badge

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

• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• abhinav / sandman

  View on GitHub
  Cabal Sandbox manager
  ☆14May 24, 2016Updated 9 years ago
• Twinside / FontyFruity

  View on GitHub
  An haskell TrueType file parser
  ☆38Mar 31, 2023Updated 2 years ago
• ghorn / dynobud

  View on GitHub
  your dynamic optimization buddy
  ☆27Sep 20, 2019Updated 6 years ago
• krapsh / kraps-haskell

  View on GitHub
  Experimental Haskell bindings to Spark Datasets and DataFrames
  ☆26Apr 11, 2017Updated 8 years ago
• kimi-michael / Ring-NoC

  View on GitHub
  a scaleable ring topology network on chip (NoC) implemented in BSV
  ☆12Oct 14, 2014Updated 11 years ago
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 years ago
• jtobin / deanie

  View on GitHub
  An embedded probabilistic programming language.
  ☆34Mar 6, 2017Updated 9 years ago
• RRMoelker / print-css-toggle

  View on GitHub
  Simulate print CSS media using JavaScript
  ☆13Nov 11, 2017Updated 8 years ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• leecannon / zriscv

  View on GitHub
  RISC-V emulator in Zig
  ☆15Nov 4, 2023Updated 2 years ago
• duangle / scopes

  View on GitHub
  The Bangra Programming Language (github mirror)
  ☆38Jan 4, 2018Updated 8 years ago
• gravidapp / quadraticvoting

  View on GitHub
  ☆12Apr 25, 2024Updated last year
• jacobcvt12 / GradDescent.jl

  View on GitHub
  Gradient Descent optimizers for Julia
  ☆12May 26, 2020Updated 5 years ago
• Atry / Control.Dsl

  View on GitHub
  An alternative to monads in do notation
  ☆13Jan 27, 2021Updated 5 years ago
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Dec 13, 2025Updated 2 months ago
• kernelpoppers / ctf_writeups

  View on GitHub
  CTF challenge writeups
  ☆13Dec 10, 2020Updated 5 years ago
• wangbj / elf

  View on GitHub
  Parser for ELF object format.
  ☆11Dec 24, 2021Updated 4 years ago
• phadej / boring

  View on GitHub
  Boring and Absurd types
  ☆18Dec 27, 2024Updated last year
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated 2 months ago
• chowells79 / lrucache

  View on GitHub
  A simple pure LRU cache written in Haskell
  ☆19Dec 3, 2018Updated 7 years ago
• Xe / xultybau

  View on GitHub
  Metalanguage analysis
  ☆10Dec 10, 2018Updated 7 years ago
• RehMoritz / vmc_pde

  View on GitHub
  Code for the paper "Variational Monte Carlo Approach to Partial Differential Equations with Neural Networks" (https://arxiv.org/abs/2206.…
  ☆10Aug 8, 2022Updated 3 years ago
• Gizra / elm-debouncer

  View on GitHub
  The most comprehensive debouncer for Elm
  ☆13Nov 28, 2018Updated 7 years ago
• tek / helic

  View on GitHub
  Clipboard synchronization tool
  ☆13Jan 30, 2026Updated last month
• naegelejd / luci

  View on GitHub
  Another dynamically-typed, lightweight programming language
  ☆12May 5, 2015Updated 10 years ago
• bitc / hs-vault-tool

  View on GitHub
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Oct 28, 2021Updated 4 years ago
• wilsonka / pointless-spatial-modeling

  View on GitHub
  ☆12Jun 28, 2018Updated 7 years ago
• dustin / tesla

  View on GitHub
  Tesla API for Haskell
  ☆15Dec 15, 2025Updated 2 months ago
• pfmoore / pybuild

  View on GitHub
  Windows build environment for Python
  ☆11Dec 2, 2014Updated 11 years ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 7 months ago
• Xandaros / abnf

  View on GitHub
  ☆14Jul 4, 2022Updated 3 years ago
• mozilla / janus-eventhandler-sqlite

  View on GitHub
  A Janus event handler plugin that writes events to a SQLite database.
  ☆16Apr 10, 2023Updated 2 years ago
• lanl / McPhD

  View on GitHub
  A Parallel Haskell framework for particle-based Monte Carlo simulations
  ☆13Apr 2, 2019Updated 6 years ago
• bartavelle / stateWriter

  View on GitHub
  A RWS like monad without the slow writer stuff
  ☆12Jun 17, 2023Updated 2 years ago
• Wizek / hs-di

  View on GitHub
  Haskell Dependency Injection
  ☆14Sep 1, 2018Updated 7 years ago
• raehik / gtvm-hs

  View on GitHub
  Reversing tools for manipulating Golden Time: Vivid Memories game assets
  ☆10Oct 17, 2024Updated last year
• pheaver / netlist-verilog

  View on GitHub
  Netlist and Verilog Haskell Package
  ☆19Nov 21, 2010Updated 15 years ago
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 3 months ago