Pinned Repositories
advent-of-code-2019
indy-sdk
msc-experimental-code
msc-thesis
nomic
signal-cli
signal-cli (formerly textsecure-cli) provides a commandline and dbus interface for WhisperSystems/libsignal-service-java
syncany
Syncany is an open-source cloud storage and filesharing application. It allows users to backup and share certain folders of their workstations using any kind of storage
TutteLean
angular-truffle-box
Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular
pimotte's Repositories
pimotte/nomic
pimotte/indy-sdk
pimotte/TutteLean
pimotte/advent-of-code-2019
pimotte/agda-mode-vscode
agda-mode on VS Code
pimotte/angular-truffle-box
Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular
pimotte/aoc2022
pimotte/aoc2023
pimotte/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
pimotte/core
Discipl Core
pimotte/crev
Scalable, social, Code REView and recommendation system that we desperately need
pimotte/crev-proofs
pimotte/crev-proofs-1
Crev proof repository
pimotte/CT4P
pimotte/excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
pimotte/fullstackalpha
pimotte/indy-agent
pimotte/indy-node
Indy Node
pimotte/indy-plenum
Plenum Byzantine Fault Tolerant Protocol
pimotte/ivyplusplus
Adds a few useful features to ivy, such as creating an eclipse project from your deps.
pimotte/lean-meta
pimotte/lean-notes
pimotte/lean-ssl
pimotte/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
pimotte/odyssey-rasa
pimotte/pimotte.github.io
pimotte/tbv
Package verification for npm
pimotte/theorem_proving_in_lean4
Theorem Proving in Lean 4
pimotte/Time.lean
pimotte/truffle-core
Core code for Truffle command line tool