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
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 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
• jtobin / deanie

  View on GitHub
  An embedded probabilistic programming language.
  ☆34Mar 6, 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
• 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
• RRMoelker / print-css-toggle

  View on GitHub
  Simulate print CSS media using JavaScript
  ☆13Nov 11, 2017Updated 8 years ago
• leecannon / zriscv

  View on GitHub
  RISC-V emulator in Zig
  ☆15Nov 4, 2023Updated 2 years ago
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 2 months ago
• lkuper / lvar-examples

  View on GitHub
  Programming with LVars, by example
  ☆36Jul 20, 2015Updated 10 years ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 8 years ago
• dzhus / static-text

  View on GitHub
  Lists, Texts, ByteStrings and Vectors with type-encoded length
  ☆10Jul 11, 2021Updated 4 years ago
• hellertime / time-recurrence

  View on GitHub
  Generate recurring dates.
  ☆17Jan 15, 2024Updated 2 years ago
• aycanirican / hweblib

  View on GitHub
  Haskell Web Library
  ☆15Sep 28, 2020Updated 5 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
• deech / fltkhs-media-player

  View on GitHub
  ☆11Sep 19, 2017Updated 8 years ago
• jacob3141 / methane

  View on GitHub
  The world's first browser dedicated to loading websites written in QML!
  ☆13Nov 27, 2015Updated 10 years ago
• obsidiansystems / obelisk-oauth

  View on GitHub
  ☆12Updated this week
• AltThree / Retry

  View on GitHub
  A command retry middleware.
  ☆11Oct 30, 2018Updated 7 years ago
• qknight / nixos-declarative-containers-example

  View on GitHub
  example how to use declarative containers to deploy arbitrarty webservices on the same system
  ☆11Apr 27, 2014Updated 11 years ago
• PHP-CS-Fixer / AccessibleObject

  View on GitHub
  ☆11Sep 12, 2025Updated 5 months ago
• magthe / sandi

  View on GitHub
  Data encoding library for Haskell.
  ☆12Aug 4, 2023Updated 2 years ago
• wilsonka / pointless-spatial-modeling

  View on GitHub
  ☆12Jun 28, 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
• synergistics / chemlambda-hask

  View on GitHub
  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
• mgree / trampoline

  View on GitHub
  Safely running potentially non-terminating functions in Elm.
  ☆10Apr 20, 2021Updated 4 years ago
• ogrisel / paper2ebook

  View on GitHub
  Utility to re-structure research papers published in US Letter or A4 format PDF files to typically remove the 2 columns layout.
  ☆53Nov 8, 2010Updated 15 years ago
• FakerPHP / Artwork

  View on GitHub
  All artwork for FakerPHP
  ☆10Jan 2, 2021Updated 5 years ago
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• GrahamCampbell / Bounded-Cache

  View on GitHub
  A bounded TTL PSR-16 cache implementation
  ☆10Mar 2, 2025Updated 11 months ago
• EPFL-LCN / pub-sourmpis2023-neurips

  View on GitHub
  ☆11Nov 27, 2023Updated 2 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• GaloisInc / hpb

  View on GitHub
  Haskell Protocol Buffers
  ☆12Jan 22, 2020Updated 6 years ago
• naegelejd / luci

  View on GitHub
  Another dynamically-typed, lightweight programming language
  ☆12May 5, 2015Updated 10 years ago