lunaticare

followers

following

stars

Dmitry Pogodin's starred repositories

act

Run your GitHub Actions locally 🚀

Language:GoMIT52616 165 1105

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION42377 191 6838

gitness

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

Language:GoApache-2.031940 552 1941

surrealdb

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

Language:RustNOASSERTION26307 161 1505

ent

An entity framework for Go

Language:GoApache-2.015247 156 1630

ML-Papers-Explained

Explanation to key concepts in ML

awesome-privacy

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

Language:AstroCC0-1.06452 78 120

android-showcase

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

Language:KotlinMIT6433 120 69

nteract

📘 The interactive computing suite for you! ✨

Language:TypeScriptBSD-3-Clause6186 149 1688

awesome-cryptography

A curated list of cryptography resources and links.

NOASSERTION5588 185 25

marimo

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

Language:PythonApache-2.05496 26 436

extism

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

Language:RustBSD-3-Clause4032 33 125

automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Language:JavaScriptMIT3604 29 251

nickel

Better configuration for less

Language:RustMIT2247 38 578

flix

The Flix Programming Language

Language:ScalaNOASSERTION2106 24 3337

diffsitter

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

Language:RustMIT1572 12 43

evolu

A local-first platform designed for privacy, ease of use, and no vendor lock-in

Language:TypeScriptMIT1213 11 167

liquidhaskell

Liquid Types For Haskell

Language:HaskellBSD-3-Clause1169 29 1109

austral

Systems language with linear types and capability-based security.

Language:OCamlApache-2.01101 29 297

attic

Multi-tenant Nix Binary Cache

Language:RustNOASSERTION876 14 103

rust-os-comparison

A comparison of operating systems written in Rust

awesome-programming-languages

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

practical-fm

A gently curated list of companies using verification formal methods in industry

juvix

A language for intent-centric and declarative decentralised applications

Language:HaskellGPL-3.0446 27 732

kstatemachine

KStateMachine is a powerful Kotlin Multiplatform library with clean DSL syntax for creating complex state machines and statecharts driven by Kotlin Coroutines.

Language:KotlinBSL-1.0345 8 73

linear-base

Standard library for linear types in Haskell.

Language:HaskellMIT331 33 165

spark2014

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

Language:AdaGPL-3.0243 47 35

best-of-crypto

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

CC-BY-SA-4.0240 16 4

hnix-store

Haskell implementation of the Nix store

Language:HaskellApache-2.083 10 97

linear-scala

Linear types in Scala

Language:ScalaISC39 3 1