Dmitry Pogodin's starred repositories

zk-knowledge

knowledge base of ZKP including applications, hardware, technical discussions and more.

Language:SCSSLicense:CC0-1.0Stargazers:112Issues:0Issues:0

stacklock2nix

Easily build a Haskell project from a stack.yaml.lock file with Nix

Language:NixLicense:BSD-3-ClauseStargazers:44Issues:0Issues:0

rust-overlay

Pure and reproducible nix overlay of binary distributed rust toolchains

Language:NixLicense:MITStargazers:815Issues:0Issues:0

vlcn-orm

Develop with your data model anywhere. Query and load data reactively. Replicate between peers without a central server.

Language:TypeScriptLicense:NOASSERTIONStargazers:209Issues:0Issues:0

AFFiNE

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.

Language:TypeScriptLicense:NOASSERTIONStargazers:35378Issues:0Issues:0

y-crdt

Rust port of Yjs

Language:RustLicense:NOASSERTIONStargazers:1377Issues:0Issues:0

AppFlowy

Bring projects, wikis, and teams together with AI. AppFlowy is an AI collaborative workspace where you achieve more without losing control of your data. The best open source alternative to Notion.

Language:DartLicense:AGPL-3.0Stargazers:50287Issues:0Issues:0

android-nixpkgs

Nix-packaged Android SDK

Language:NixLicense:MITStargazers:257Issues:0Issues:0

actual

A local-first personal finance app

Language:TypeScriptLicense:MITStargazers:12565Issues:0Issues:0

circom

zkSnark circuit compiler

Language:WebAssemblyLicense:GPL-3.0Stargazers:1230Issues:0Issues:0

orgzly-android

Outliner for taking notes and managing to-do lists

Language:KotlinLicense:GPL-3.0Stargazers:2665Issues:0Issues:0

cabal-desktop

Desktop client for Cabal, the p2p/decentralized/local-first chat platform.

Language:JavaScriptLicense:AGPL-3.0Stargazers:836Issues:0Issues:0

meething

dWebRTC Video Meetings MESH/SFU hybrid using GunDB, MediaSoup and Beyond!

Language:JavaScriptLicense:MITStargazers:452Issues:0Issues:0

nebula

A scalable overlay networking tool with a focus on performance, simplicity and security

Language:GoLicense:MITStargazers:14020Issues:0Issues:0

Parsr

Transforms PDF, Documents and Images into Enriched Structured Data

Language:JavaScriptLicense:Apache-2.0Stargazers:5709Issues:0Issues:0

pushpin

A collaborative corkboard app

Language:TypeScriptLicense:BSD-3-ClauseStargazers:624Issues:0Issues:0

trellis

Trello clone / sample app for Automerge persistence library

Language:JavaScriptLicense:MITStargazers:496Issues:0Issues:0

divkit

DivKit is an open source Server-Driven UI (SDUI) framework. SDUI is a an emerging technique that leverage the server to build the user interfaces of their mobile app

Language:KotlinLicense:NOASSERTIONStargazers:2138Issues:0Issues:0

githublog

I'm sick of complex blogging solutions, so markdown files in a git repo it is

Language:TypeScriptStargazers:591Issues:0Issues:0

VirtualBuddy

Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3

Language:SwiftLicense:BSD-2-ClauseStargazers:4855Issues:0Issues:0

awesome-decentralized

🕶 Awesome list of distributed, decentralized, p2p apps and tools 👍

Stargazers:805Issues:0Issues:0

notesnook

A fully open source & end-to-end encrypted note taking alternative to Evernote.

Language:TypeScriptLicense:GPL-3.0Stargazers:8911Issues:0Issues:0

tasty

Modern and extensible testing framework for Haskell

Language:HaskellStargazers:636Issues:0Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:7323Issues:0Issues:0

emanote

Emanate a structured view of your plain-text notes

Language:HaskellLicense:NOASSERTIONStargazers:767Issues:0Issues:0

bitcoinbook

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Language:HTMLLicense:NOASSERTIONStargazers:23128Issues:0Issues:0

semaphore

A zero-knowledge protocol for anonymous interactions.

Language:TypeScriptLicense:MITStargazers:870Issues:0Issues:0

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1543Issues:0Issues:0

darkfi

Anonymous. Uncensored. Sovereign.

Language:RustLicense:AGPL-3.0Stargazers:1053Issues:0Issues:0

firo

The privacy-focused cryptocurrency

Language:C++License:MITStargazers:711Issues:0Issues:0