Dmitry Pogodin's starred repositories

tabby

A terminal for a more modern age

Language:TypeScriptLicense:MITStargazers:56671Issues:436Issues:4944

bat

A cat(1) clone with wings.

Language:RustLicense:Apache-2.0Stargazers:47434Issues:203Issues:1372

gitness

Gitness is an Open Source developer platform with Source Control management, Continuous Integration and Continuous Delivery.

Language:GoLicense:Apache-2.0Stargazers:31797Issues:550Issues:1935

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

Language:RustLicense:NOASSERTIONStargazers:26020Issues:162Issues:1418

plane

🔥 🔥 🔥 Open Source JIRA, Linear and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

Language:TypeScriptLicense:AGPL-3.0Stargazers:25637Issues:104Issues:815

awesome-sysadmin

A curated list of amazingly awesome open-source sysadmin resources.

atuin

✨ Magical shell history

Language:RustLicense:MITStargazers:18456Issues:59Issues:744

ent

An entity framework for Go

Language:GoLicense:Apache-2.0Stargazers:15106Issues:155Issues:1616

android-showcase

💎 Android application following best practices: Kotlin, Coroutines, JetPack, Clean Architecture, Feature Modules, Tests, MVVM, DI, Static Analysis...

Language:KotlinLicense:MITStargazers:6400Issues:119Issues:69

awesome-privacy

🦄 A curated list of privacy & security-focused software and services

Language:AstroLicense:CC0-1.0Stargazers:6205Issues:75Issues:115

arrow

Λrrow - Functional companion to Kotlin's Standard Library

Language:KotlinLicense:NOASSERTIONStargazers:6048Issues:93Issues:996

Obtainium

Get Android app updates straight from the source.

Language:DartLicense:GPL-3.0Stargazers:5699Issues:58Issues:1055

marimo

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

Language:PythonLicense:Apache-2.0Stargazers:5171Issues:24Issues:397

extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Language:RustLicense:BSD-3-ClauseStargazers:3935Issues:31Issues:118

devenv

Fast, Declarative, Reproducible, and Composable Developer Environments

Language:NixLicense:Apache-2.0Stargazers:3683Issues:26Issues:620

tart

macOS and Linux VMs on Apple Silicon to use in CI and other automations

Language:SwiftLicense:NOASSERTIONStargazers:3630Issues:36Issues:312

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2077Issues:22Issues:3298

proton-mail-android

Proton Mail Android app

Language:KotlinLicense:GPL-3.0Stargazers:1741Issues:70Issues:0

diffsitter

A tree-sitter based AST difftool to get meaningful semantic diffs

Language:RustLicense:MITStargazers:1554Issues:10Issues:43

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1160Issues:28Issues:1108

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:1082Issues:29Issues:295

awesome-programming-languages

The list of an awesome programming languages that you might be interested in

juvix

A language for intent-centric and declarative decentralised applications

Language:HaskellLicense:GPL-3.0Stargazers:442Issues:26Issues:693

awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Language:HaskellLicense:BSD-3-ClauseStargazers:346Issues:14Issues:70

kstatemachine

KStateMachine is a Kotlin DSL library for creating state machines and statecharts.

Language:KotlinLicense:BSL-1.0Stargazers:298Issues:6Issues:66

sf

Mirror of Software Foundations in PDF

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Language:AdaLicense:GPL-3.0Stargazers:241Issues:47Issues:35

best-of-crypto

🏆 A ranked list of awesome open-source crypto projects. Updated weekly.