wkornewald's Stars
JetBrains/kotlin
The Kotlin Programming Language.
Netflix/chaosmonkey
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
dotnet/orleans
Cloud Native application framework for .NET
witheve/Eve
Better tools for thought
jepsen-io/jepsen
A framework for distributed systems verification, with fault injection
hendricius/the-bread-code
Learn how to master the art of baking the programmer way.
dnfield/flutter_svg
SVG parsing, rendering, and widget library for Flutter
russhwolf/multiplatform-settings
A Kotlin Multiplatform library for saving simple key-value data
damelang/nile
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
ehn-dcc-development/eu-dcc-hcert-spec
Electronic Health Certificates Specification
miloyip/itoa-benchmark
C++ integer-to-string conversion benchmark
digama0/mm0
Metamath Zero specification language
CozySynthesizer/cozy
The collection synthesizer
damelang/gezira
au-ts/cogent
Cogent Project
levjj/esverify
ECMAScript verification with SMT solvers
TiarkRompf/lancet
surgical precision JIT compilers
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
johannesd/CancellablePromiseKit
Extends the amazing PromiseKit to cover cancellable tasks.
projectfluent/fluent-kotlin
Kotlin tooling implementation of ProjectFluent
robertpfeiffer/cola
combined object/lambda architcture
ensody/ssh-agent-inject
[Note: Not needed with VS Code anymore.] Forwards the host's ssh-agent into a Docker container on Windows and macOS hosts.
ensody/reactive_state
An easy to understand reactive state management solution for Flutter.
spinlock/flexsc
Implementation of FlexSC on Ubuntu 10.04
Digitaler-Impfnachweis/covpass-apps-i18n
Common Twine translation strings for Android and iOS
ensody/pymeta2
PyMeta 2 - a Python port of the OMeta 2 pattern language based on Parsing Expression Grammars (PEGs)
wkornewald/dependency-manager
dm allows to combine multiple repositories into a single project repository. It's an alternative to git submodules, hg subrepositories, and Android's "repo" repository manager. You should probably consider using git-srepo instead.
wkornewald/schematic
Python data validation library with a very simple API