joewatt95

joewatt95's Stars

• winsiderss/systeminformer

  A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals.com

  Language:C11k2871.6k1.4k

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook4085110862

• QuickChick/QuickChick

  Randomized Property-Based Testing Plugin for Coq

  Language:Coq2531717646

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean242111944

• data61/PSL

  Language:Isabelle6592149

• marcusrossel/lean-egg

  A (WIP) equality saturation tactic for Lean based on egg.

  Language:Lean383262

• coq-community/alea

  Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  Language:Coq25370

• fpvandoorn/carleson

  A formalized proof of Carleson's theorem in Lean

  Language:Lean244718

• LoadedCamel/MidsReborn

  Mids' Reborn : Hero Designer

  Language:C#2461248

• FR-vdash-bot/Algorithm

  Verified efficient algorithms in Lean4.

  Language:Lean190

• kovach/etch

  Language:Lean16528

• jtristan/stump-learnable

  Language:Lean15502

• leanprover/lean-action

  GitHub action for standard CI in Lean projects

  Language:Shell158433

• reilabs/gnark-lean-demo

  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

  Language:Lean14010

• NUS-Math-Formalization/coxeter

  Language:Lean126215

• FWuermse/lean-postgres

  Language:Lean7102

• knowsys/CertifyingDatalog

  A certified checker for Datalog entailments, written in Lean

  Language:Lean7200

• CAIMEOX/json-schema-lean

  Json Schema lean implementation

  Language:Lean6210

• pkoerner/lisb

  Language:Clojure42

• damianoazzolini/probat

  Property based testing Prolog programs.

  Language:Prolog30

• kiranandcode/cleango

  Bindings to libclingo for the lean4 prover and programming language!

  Language:C320

• NickF0211/LEGOS-SLEEC

  N-check anonymous repo

  Language:Python32

• OxfordHCC/solid-dtou

  Meta-repo for Data Terms of Use with SoLiD (Social Linked Data)

  Language:HTML3101

• renyuneyun/dtou-lang

  Data Terms of Use language reasoner implementation

  2200

• yan-elena/myjoghurt-case-study

  Case Study of the laboratory plant myJoghurt - implemented with JaCaMo BDI agents embedding an engine for processing the NPL(s) language and a set of capabilities for approaching the sanctioning norm enforcement process

  Language:ASL2200

• Logic-Graphs/diagrammatic-reasoning

  Language:HTML110

• meelgroup/ApproxASP2

  Language:C++1331

• meelgroup/sharpASP

  sharpASP - Exact ASP Counting with Compact Encodings

  Language:Python120

• NickF0211/SD

  Language:Python1100

• renyuneyun/dtou-demo-app

  Language:Vue120