pimotte

nomic

indy-sdk

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

advent-of-code-2019

agda-mode-vscode

agda-mode on VS Code

angular-truffle-box

Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular

aoc2022

aoc2023

core

Discipl Core

crev

Scalable, social, Code REView and recommendation system that we desperately need

crev-proofs

crev-proofs-1

Crev proof repository

CT4P

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

fullstackalpha

indy-agent

indy-node

Indy Node

indy-plenum

Plenum Byzantine Fault Tolerant Protocol

ivyplusplus

Adds a few useful features to ivy, such as creating an eclipse project from your deps.

lean-meta

lean-ssl

libsignal-service-java

A Java/Android library for communicating with the Signal messaging service.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

odyssey-rasa

pimotte.github.io

tbv

Package verification for npm

theorem_proving_in_lean4

Theorem Proving in Lean 4

Time.lean

truffle-core

Core code for Truffle command line tool