MiniSat 2.0 for Empscripten
☆10Aug 19, 2014Updated 12 years ago
Alternatives and similar repositories for minisat_emscripten
Users that are interested in minisat_emscripten are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- Datamonkey - Run state-of-the-art statistical models through the comfort of your browser☆10Updated this week
- Patterns in NYT production from 1987 to 2007☆11Nov 6, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Chrome extension to mark all the links on page as read with the click of a button☆14Mar 2, 2015Updated 11 years ago
- Record using your UI5 app and export to wdi5 + OPA5!☆15Mar 28, 2025Updated last year
- NodeJS project to parse and easily read fields, components, sub-components, and repeating fields of a HL7 message.☆14Jan 28, 2018Updated 8 years ago
- Collection of compatible forecasting datasets☆12Feb 28, 2024Updated 2 years ago
- Head-Up-Display Server (HUDS)☆24Nov 13, 2025Updated 11 months ago
- Major emacs mode for editing Common Intermediate Language files.☆13Jun 22, 2016Updated 10 years ago
- A repository of the data and code used for aggregating expert predictions of COVID19☆11Oct 25, 2021Updated 4 years ago
- UI5Con 2019 Hands-On Session: “MEAN Stack”.replace(“A”, “OpenUI5”)☆14Dec 10, 2022Updated 3 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Nov 17, 2017Updated 8 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.
- Software rendered GL subset for text mode demos☆20Jan 14, 2014Updated 12 years ago
- Scala Numerical Optimization library☆10Nov 8, 2017Updated 8 years ago
- ☆21Mar 5, 2017Updated 9 years ago
- DEPRECATED // An alternative, RESTful approach to web services for Stud.IP implementing OAuth☆19Nov 17, 2017Updated 8 years ago
- Please see☆22Feb 22, 2015Updated 11 years ago
- Source code for POTSBLIZ (Plain Old Telephony System Beyond Local Ip Stack)☆20Nov 22, 2015Updated 10 years ago
- Modelica Vector graphics Editor☆16Nov 11, 2020Updated 5 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 10 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A lazy and untyped experimental programming language☆10Jul 8, 2018Updated 8 years ago
- Event data in a box, basically.☆15Nov 4, 2014Updated 11 years ago
- RPwnG is back!☆11Jul 28, 2018Updated 8 years ago
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆10Aug 3, 2019Updated 7 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Mar 8, 2017Updated 9 years ago
- Terminal UI rendering engine for Rust with real RGBA alpha blending, scissor clipping, and double-buffered cell composition. Port of Open…☆39Updated this week
- language independent software composition and merging☆34Mar 25, 2017Updated 9 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sequential and distributed AND/OR Branch and Bound for MPE (max-product) problems over graphical models like Bayes and Markov networks.☆17Jan 28, 2016Updated 10 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- A homebrew SNES ROM capable of decompressing DEFLATE-compressed files.☆11Sep 6, 2018Updated 8 years ago
- A bunch of sample gba games showcasing various graphical features of the gba.☆14Jul 2, 2019Updated 7 years ago
- HTTP Keyserver Protocol (HKP) handlers☆12Apr 25, 2018Updated 8 years ago
- Nintendo 3DS: Linux <-> ARM9☆15Nov 7, 2020Updated 5 years ago
- A collection of WebExtensions☆13Oct 14, 2019Updated 7 years ago