|
None |
9 |
Combined guide how to root and use Xiaomi Vacuum with Home Assistant |
Feb 12, 2022 |
|
Java |
601 |
The Arend Proof Assistant |
Jul 30, 2022 |
|
HTML |
2 |
Guide How to use the GWDG HPC |
May 10, 2023 |
|
C |
12 |
A proof assistant. |
Feb 10, 2022 |
|
C |
4 |
A proof assistant. |
Oct 19, 2021 |
|
Haskell |
5 |
A simple proof assistant |
Sep 30, 2021 |
|
Scala |
13 |
Proof assistant for qRHL |
Apr 02, 2023 |
|
C++ |
2 |
Advanced Mathematics Proof Assistant |
May 28, 2023 |
|
Python |
2 |
Wearable Cognitive Assistant for assembling an Ikea lamp |
Dec 01, 2020 |
|
Coq |
2 |
My proofs for the Coq proof assistant |
Aug 23, 2021 |
|
Coq |
13 |
PostScript programming in the Coq proof assistant |
Mar 30, 2023 |
|
Coq |
2 |
Messing around with the Coq proof assistant |
Aug 13, 2023 |
|
None |
32 |
A guide explaining how to use Gophish |
Aug 11, 2022 |
|
None |
3 |
Guide on How to use Quadcopter-Redux |
Apr 24, 2023 |
|
Python |
10 |
How to use Chinese font in Matplotlib, the complete guide. |
Dec 03, 2021 |
|
OCaml |
2 |
Matita proof assistant (not official) |
Jun 12, 2021 |
|
Java |
3 |
mmj2 GUI Proof Assistant for the Metamath project |
May 13, 2020 |
|
Java |
60 |
mmj2 GUI Proof Assistant for the Metamath project |
Aug 07, 2022 |
|
OCaml |
44 |
Python bindings for the Coq interactive proof assistant |
Mar 17, 2023 |
|
OCaml |
220 |
Proof assistant based on the λΠ-calculus modulo rewriting |
May 05, 2023 |
|
Coq |
20 |
Binary logical relations library for the Coq proof assistant |
Apr 09, 2023 |
|
Java |
47 |
Educational Proof Assistant for Type Theory |
Apr 21, 2023 |
|
JavaScript |
13 |
Proof assistant for Typographical Number Theory |
Nov 21, 2021 |
|
Haskell |
32 |
A small NuPRL style proof assistant |
Dec 23, 2022 |
|
Python |
5 |
Guide on how to use Poetry for your projects. |
Aug 07, 2022 |
|
TypeScript |
6 |
Official guide on how to use Clerk.dev with Firebase |
Apr 07, 2023 |
|
CSS |
9 |
Official guide on how to use Clerk.dev with Gatsby |
Apr 21, 2023 |
|
HTML |
5 |
Official guide on how to use Clerk.dev with Rails |
Nov 02, 2022 |
|
Python |
2 |
Simple guide how to use ST7565 LCD with python |
Nov 25, 2019 |
|
None |
7 |
[WIP] Guide to HumHub and how to use it. |
Aug 07, 2022 |
|
JavaScript |
6 |
An guide on how to use popular React Hooks |
Mar 18, 2023 |
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
TypeScript |
47 |
Visual Studio Code extension for the Lean 4 proof assistant |
Aug 01, 2022 |
|
Haskell |
6 |
Sequent calculus based proof assistant for ILL |
May 16, 2020 |
|
OCaml |
15 |
A bare-bones LCF-style proof assistant |
May 15, 2022 |
|
C++ |
2 |
Simple Proof Assistant: helps you prove theorems. |
Dec 22, 2017 |
|
JavaScript |
4 |
Visual interactive proof assistant for propositional logic |
Sep 29, 2022 |
|
Ruby |
6 |
A ready to use Vagrant LAMP box |
Oct 20, 2013 |
|
Coq |
286 |
A Learning Environment for Theorem Proving with the Coq proof assistant |
Aug 17, 2022 |
|
Coq |
94 |
A library of mechanised undecidability proofs in the Coq proof assistant. |
Apr 27, 2023 |
|
JavaScript |
2 |
Source and Guide on how to use Jimp on discord.js |
Nov 21, 2022 |
|
Kotlin |
3 |
How to use Hilt in Kotlin ( Complete guide - Part 1) |
Jan 07, 2023 |
|
Java |
2 |
UserGuideView let you can Guide user how to use App |
Jul 27, 2021 |
|
Jupyter Notebook |
36 |
A guide about how to use GPTQ models with langchain |
Nov 10, 2023 |
|
PHP |
2 |
Please use the latest guide |
Dec 23, 2021 |
|
OCaml |
9 |
Dependently typed lambda calculus - A Simple Proof Assistant |
Jun 04, 2022 |
|
JavaScript |
5 |
Proof of concept to show how to use momento cache for idempotency |
Jan 11, 2023 |
|
Python |
8 |
DefCon 2019 proof of concept demonstrating how to use SaaS for CnC |
Feb 25, 2023 |
|
Lean |
7 |
A formal specification of the Yul IR semantics in the Lean proof assistant. |
Aug 03, 2022 |
|
HTML |
13 |
The CBP Style Guide to compliment the CBP Theme. The style guide describes CBP theme … |
May 18, 2020 |