Stars
A Kotlin Multiplatform library for saving simple key-value data
Common Twine translation strings for Android and iOS
Electronic Health Certificates Specification
Kotlin tooling implementation of ProjectFluent
[Note: Not needed with VS Code anymore.] Forwards the host's ssh-agent into a Docker container on Windows and macOS hosts.
Research on integrating datalog & lambda calculus via monotonicity types
An easy to understand reactive state management solution for Flutter.
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Demo for high-performance type theory elaboration
SVG parsing, rendering, and widget library for Flutter
Extends the amazing PromiseKit to cover cancellable tasks.
Learn how to master the art of baking the programmer way.
C++ integer-to-string conversion benchmark
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 …
PyMeta 2 - a Python port of the OMeta 2 pattern language based on Parsing Expression Grammars (PEGs)
Python data validation library with a very simple API
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
A framework for distributed systems verification, with fault injection