A Javascript First-Order Logic (FOL) proof verifier
☆11Oct 19, 2017Updated 9 years ago
Alternatives and similar repositories for folproof
Users that are interested in folproof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple user settings management for node.js☆13Jan 9, 2022Updated 4 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 12 years ago
- ☆10Dec 11, 2022Updated 3 years ago
- A collection of algorithms and data structures implemented in the python programming language. Nothing serious, just a training canvas fo…☆11Feb 13, 2019Updated 7 years ago
- TypeScript wrapper for protocol-based 2-way iframe communication☆22Mar 4, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Vinli Android Network SDK☆11Jun 15, 2018Updated 8 years ago
- ☆13Apr 27, 2025Updated last year
- Cyano wallet - an Ontology wallet☆26Dec 8, 2022Updated 3 years ago
- UVA command line client to upload solutions and search for statistics☆10Dec 23, 2016Updated 9 years ago
- command line option parser for Node.js☆32Aug 10, 2021Updated 5 years ago
- Vosk4Unity is a module for the Unity Engine that provides a simple way to integrate speech recognition into your application. It is based…☆30Dec 6, 2023Updated 2 years ago
- ☆28Jan 22, 2021Updated 5 years ago
- A simple package for generating citation and bibliographies, wrapping the excellent citeproc-js.☆15Dec 22, 2020Updated 5 years ago
- Extension for Deck.js || Adds a Presenter View☆14Mar 1, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Transform a README.md into a interactive browser demo!☆14Feb 26, 2013Updated 13 years ago
- A lightweight CLI tool for seamlessly switching between multiple authentication accounts for AI services like Codex, Claude, and other ap…☆15Sep 14, 2026Updated last month
- A multiplatform, multilingual plotting tool. It's lightweight and asynchronous, and figure layouts are defined declaratively using QML.☆22Jul 14, 2019Updated 7 years ago
- WebAssembly based Linux compatible Runtime☆10Feb 21, 2019Updated 7 years ago
- The missing account switcher for Amp and Claude Code☆14May 10, 2026Updated 5 months ago
- ☆22Dec 17, 2021Updated 4 years ago
- A command line tool for crytocurrency data. When moon?☆26Apr 25, 2023Updated 3 years ago
- brute forces an ethereum wallet based on a list of passwords.☆23Jun 19, 2017Updated 9 years ago
- Asynchronously map directory structure into a JavaScript object☆13Nov 1, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A proof-of-concept library for building Javascript DSLs☆13Sep 24, 2018Updated 8 years ago
- Remote control for deck.js☆19Jul 20, 2014Updated 12 years ago
- Standalone, powerful dependency injector for TypeScript and Javascript☆30Feb 13, 2016Updated 10 years ago
- EtherSim is an Ethereum RPC simulator for testing and development purposes☆60Feb 3, 2017Updated 9 years ago
- IdentityServer4 Admin Tool☆36Feb 17, 2018Updated 8 years ago
- Seamlessly call Java class libraries from C++. An abstraction to JNI.☆34Jul 15, 2014Updated 12 years ago
- Provide extensions, themes and use cases for deck.js☆16Jun 8, 2015Updated 11 years ago
- ☆27Feb 3, 2016Updated 10 years ago
- HP Elitebook 830 G6 running MacOS from Catalina☆10Aug 14, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 years ago
- Stochastic gradient descent Haskell library☆13Jun 24, 2024Updated 2 years ago
- Add a pipeline process to any method☆38May 4, 2016Updated 10 years ago
- Exports the contents of a CSV into a collection of Obsidian formatted files☆11Nov 4, 2022Updated 3 years ago
- Wikipedia PageRank Project☆41Aug 31, 2013Updated 13 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago
- API access to Open Tree of Life treestore☆11Jan 5, 2026Updated 9 months ago