Automated theorem prover for first-order predicate logic written in TypeScript
☆27Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for theorem-prover
Users that are interested in theorem-prover are comparing it to the libraries listed below
Sorting:
- Delete your 2 or more days ago tweets Automatically.☆31Jul 19, 2023Updated 2 years ago
- ☆14Sep 2, 2021Updated 4 years ago
- ☆19Apr 1, 2021Updated 4 years ago
- Ruby parser and LSP in Rust☆20Jul 23, 2022Updated 3 years ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆23Jan 14, 2024Updated 2 years ago
- A collection of tricky code☆23Apr 30, 2017Updated 8 years ago
- NearForm reference application for open banking - https://community.nearform.com/api-banking☆28Jun 22, 2022Updated 3 years ago
- ☆30Feb 26, 2023Updated 3 years ago
- 油そばのレシピ☆11Apr 23, 2016Updated 9 years ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- 面函数修复☆10Nov 22, 2018Updated 7 years ago
- simple markdown editor and http server for reveal.js presentation powered by electron☆13Dec 8, 2022Updated 3 years ago
- ☆10Jun 26, 2019Updated 6 years ago
- demo of building docker container with chef-solo + berkshelf☆25Sep 8, 2013Updated 12 years ago
- textlint rule check unnessary control character in the document.☆14Aug 3, 2024Updated last year
- ☆11Apr 27, 2017Updated 8 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- jspm.org website☆14Oct 26, 2025Updated 4 months ago
- A Cli tool for creating the general ledger of a journal https://npm.im/moneybit☆13Jan 21, 2026Updated last month
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago
- A curated discovery platform for high-quality, freely available 3D assets (GLB format). Browse hundreds CC0 models with clear open source…☆32Feb 10, 2026Updated 3 weeks ago
- plog is a simple diary for people all over the world.☆11Aug 2, 2015Updated 10 years ago
- Round Robin proxy/balancer for the stud TLS terminator☆34Jul 11, 2017Updated 8 years ago
- Convert boring text to 1337 text☆13Mar 15, 2016Updated 9 years ago
- Run shell commands inline in JavaScript with ES6 template strings☆11Jan 28, 2025Updated last year
- ☆15Mar 12, 2019Updated 6 years ago
- switch text with predefined replacements☆14Dec 27, 2018Updated 7 years ago
- A minimal DOM library built on top of prime☆44Jun 8, 2015Updated 10 years ago
- iOSアプリ開発におけるプラクティス☆24Aug 31, 2013Updated 12 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- Typing latency (OS X only)☆11Jul 27, 2016Updated 9 years ago
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- manage nginx virtual host configs with node☆11Nov 22, 2017Updated 8 years ago
- A very simple third-party cargo subcommand to execute a custom command☆11Jul 8, 2024Updated last year
- ☆31Sep 14, 2015Updated 10 years ago
- 💀 Skeleton lets you create models, lists, templates, router, popups, events & bindings. It provides utilities for network, cookies, loc…☆15Dec 2, 2018Updated 7 years ago
- A "run-on-slack" translator app powered by DeepL APIs☆10Dec 9, 2022Updated 3 years ago