fitchjsFitch style proof constructor
Stars: ✭ 19 (-66.07%)
LPL📚Solutions to Language, Proof and Logic (2nd Edition)
Stars: ✭ 21 (-62.5%)
LPL-solutionsSolutions for the book "Language Proof and Logic".
Stars: ✭ 51 (-8.93%)
Bootstrap DarkThe Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Stars: ✭ 54 (-3.57%)
coq-to-ocaml-to-jsProof of concept to generate safe and fast JavaScript
Stars: ✭ 25 (-55.36%)
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (-44.64%)
react-json-logicBuild and evaluate JsonLogic with React components
Stars: ✭ 21 (-62.5%)
EmofishesEmofishes is a collection of proof of concepts that help improve, bypass or detect virtualized execution environments (focusing on the ones setup for malware analysis).
Stars: ✭ 11 (-80.36%)
proofable-imageBuild trust into your image by creating a blockchain certificate for it
Stars: ✭ 17 (-69.64%)
VerdiA framework for formally verifying distributed systems implementations in Coq
Stars: ✭ 496 (+785.71%)
L4vseL4 specification and proofs
Stars: ✭ 338 (+503.57%)
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Stars: ✭ 190 (+239.29%)
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-67.86%)
IronCoq formalizations of functional languages.
Stars: ✭ 114 (+103.57%)
Groth16BatchVerifierBatch verification proposal for the zkSNARK verification with the same(!) circuit
Stars: ✭ 17 (-69.64%)
Keymaerax ReleaseKeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Stars: ✭ 49 (-12.5%)
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (-53.57%)
Idris Insertion SortProvably correct implementation of insertion sort in Idris.
Stars: ✭ 24 (-57.14%)
PlaneverbProject Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Stars: ✭ 22 (-60.71%)
Agda StdlibThe Agda standard library
Stars: ✭ 370 (+560.71%)
haalHääl - Anonymous Electronic Voting System on Public Blockchains
Stars: ✭ 96 (+71.43%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (-17.86%)
Merkle Patricia TreeProject is in active development and has been moved to the EthereumJS VM monorepo.
Stars: ✭ 277 (+394.64%)
InfSeqExtA Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Stars: ✭ 12 (-78.57%)
Diffy🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗
Stars: ✭ 37 (-33.93%)
GraknTypeDB: a strongly-typed database
Stars: ✭ 2,947 (+5162.5%)
blocA predictable state management library that helps implement the BLoC design pattern
Stars: ✭ 12 (-78.57%)
gaptGAPT: General Architecture for Proof Theory
Stars: ✭ 83 (+48.21%)
CSCv2Version 2 of my Crazy Small CPU
Stars: ✭ 53 (-5.36%)
Verdi RaftAn implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Stars: ✭ 143 (+155.36%)
nunchakuModel finder for higher-order logic
Stars: ✭ 40 (-28.57%)
DiselDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Stars: ✭ 85 (+51.79%)
awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Stars: ✭ 185 (+230.36%)
ImoveMove your mouse, generate code from flow chart
Stars: ✭ 3,282 (+5760.71%)
Generic SyntaxA Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Stars: ✭ 55 (-1.79%)
switchSwitch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.
Stars: ✭ 22 (-60.71%)
Hashapi Lib NodeTierion Hash API client library for Node.js
Stars: ✭ 20 (-64.29%)
imoveINACTIVE: Move your mouse, generate code from flow chart
Stars: ✭ 3,598 (+6325%)
Dblib LinearFormalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-82.14%)
immIntermediate Memory Model (IMM) and compilation correctness proofs for it
Stars: ✭ 15 (-73.21%)
ChroniclePublic append-only ledger microservice built with Slim Framework
Stars: ✭ 429 (+666.07%)
truth-table-generatortruth-table-generator is a tool that allows to generate a truth table
Stars: ✭ 47 (-16.07%)
Kadence⚠️ KADENCE HAS MOVED TO GITLAB ⚠️
Stars: ✭ 363 (+548.21%)
Awesome-Neural-LogicAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+89.29%)
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (-48.21%)
OpenCircuitsA free, open source, online digital circuit/logic designer.
Stars: ✭ 140 (+150%)
LatteLaTTe : a Laboratory for Type Theory experiments (in clojure)
Stars: ✭ 210 (+275%)
examplesExamples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Stars: ✭ 42 (-25%)
ioBroker.linkeddevicesCreate linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.
Stars: ✭ 17 (-69.64%)
LimboA Reasoning System for a First-Order Logic of Limited Belief, written in C++
Stars: ✭ 233 (+316.07%)
discrete-math-python-scriptsPython code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+75%)
illogicalA micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.
Stars: ✭ 16 (-71.43%)
Ejercicios-PracticosMejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Stars: ✭ 316 (+464.29%)
raBasic Analysis, undergraduate real analysis textbook
Stars: ✭ 33 (-41.07%)
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+5528.57%)