Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

A framework for applied category theory in the Julia language

Tokenized multisig wallet.

List of links of techniques to help enhance mathematical notation

Ethereum implementation on the efficiency frontier https://erigon.gitbook.io

Scans all running processes. Recognizes and dumps a variety of potentially malicious implants (replaced/implanted PEs, shellcodes, hooks, in-memory patches).

Docs for PieDAO

FoldingCoin & CureCoin All-In-One Installer

A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.

A framework to create embedded Domain-Specific Languages in Scala

This is a bibliography of papers using substructural logics in security

Solidity library for verifying IPFS hashes

A collection of papers about new models and applications of mobile process calculi

A curated list of "Visual Hashs" (Identicon, Avatar, Fractal, RandomArt and general Hash Visualization)