Beast code in Giters

Dmitry Pogodin's starred repositories

streamly

High performance, concurrent functional programming abstractions

Language:HaskellNOASSERTION85600

client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

Language:GoBSD-3-Clause887000

jazz

A new way to build apps with distributed state.

Language:TypeScriptMIT36100

evolu

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

Language:TypeScriptMIT125900

awesome-cryptography

A curated list of cryptography resources and links.

NOASSERTION572200

practical-fm

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

48300

zed

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

Language:RustNOASSERTION4573400

rust-os-comparison

A comparison of operating systems written in Rust

68800

act

Run your GitHub Actions locally 🚀

Language:GoMIT5351100

linear-scala

Linear types in Scala

Language:ScalaISC4000

linear-base

Standard library for linear types in Haskell.

Language:HaskellMIT33200

nickel

Better configuration for less

Language:RustMIT228400

attic

Multi-tenant Nix Binary Cache

Language:RustNOASSERTION92100

ML-Papers-Explained

Explanation to key concepts in ML

700200

nteract

📘 The interactive computing suite for you! ✨

Language:TypeScriptBSD-3-Clause619400

automerge

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

Language:JavaScriptMIT372000

hnix-store

Haskell implementation of the Nix store

Language:HaskellApache-2.08400

ent

An entity framework for Go

Language:GoApache-2.01535600

surrealdb

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

Language:RustNOASSERTION2653200

liquidhaskell

Liquid Types For Haskell

Language:HaskellBSD-3-Clause117500

juvix

A language for intent-centric and declarative decentralised applications

Language:HaskellGPL-3.044700

austral

Systems language with linear types and capability-based security.

Language:OCamlApache-2.0110900

awesome-programming-languages

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

Language:MarkdownMIT60300

spark2014

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

Language:AdaGPL-3.024400

flix

The Flix Programming Language

Language:ScalaNOASSERTION213600

marimo

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

Language:PythonApache-2.0595000

extism

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

Language:RustBSD-3-Clause411300

diffsitter

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

Language:RustMIT159000

best-of-crypto

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

CC-BY-SA-4.025700

gitness

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

Language:GoApache-2.03207100