Pim Otte's repositories
000
Language:Lean000
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
000
Language:LeanMIT000
Language:Lean000
Language:Lean000
Language:LeanApache-2.0000
theorem_proving_in_lean4
Theorem Proving in Lean 4
Apache-2.0000
agda-mode-vscode
agda-mode on VS Code
MIT000
CC-BY-SA-4.0000
Language:Haskell000
Language:HTML000
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
MIT000
Language:PythonAGPL-3.0000
Language:Rust000
ivyplusplus
Adds a few useful features to ivy, such as creating an eclipse project from your deps.
MIT000
tbv
Package verification for npm
Language:TypeScriptMIT000
crev-proofs-1
Crev proof repository
000
Language:PythonApache-2.0000
angular-truffle-box
Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular
Language:TypeScriptApache-2.0000
crev
Scalable, social, Code REView and recommendation system that we desperately need
Language:RustApache-2.0000
000
core
Discipl Core
Language:JavaScriptGPL-3.0000
indy-plenum
Plenum Byzantine Fault Tolerant Protocol
Language:PythonApache-2.0000
indy-node
Indy Node
Language:PythonApache-2.0000
truffle-core
Core code for Truffle command line tool
Language:JavaScriptMIT000