Formal Methods, Maths and papers
☆23Dec 10, 2025Updated 2 months ago
Alternatives and similar repositories for formality
Users that are interested in formality are comparing it to the libraries listed below
Sorting:
- ☆29Aug 4, 2023Updated 2 years ago
- IX a protected dataplane operating system project☆134Nov 6, 2017Updated 8 years ago
- Experimental flow-based Kubernetes scheduler☆34Jan 4, 2018Updated 8 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- ☆15Aug 5, 2022Updated 3 years ago
- Run nested VMs on cloud providers that don't support nested virtualization.☆17Dec 18, 2024Updated last year
- A mirror of the Open Risk white paper collection☆10Nov 11, 2025Updated 3 months ago
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 7 years ago
- Leo code snippets☆13Apr 27, 2020Updated 5 years ago
- An Apache Mesos Framework that allows for replaying load over and over and over (and over) again☆10Aug 10, 2015Updated 10 years ago
- Typescript based RX bindings for React☆12Jun 2, 2020Updated 5 years ago
- A portable kernel written in Rust.☆16Feb 13, 2024Updated 2 years ago
- container runtime testsuite☆10Jun 4, 2018Updated 7 years ago
- Lossless JSON encoding/decoding package in Go☆18Dec 4, 2018Updated 7 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆14Feb 23, 2026Updated last week
- Infrakit plugins for Google Cloud Platform.☆12May 8, 2017Updated 8 years ago
- lightweight property graph as javascript module☆19Sep 5, 2024Updated last year
- fuzz testing framework for Linux system calls☆12Sep 4, 2015Updated 10 years ago
- Reactive Javascript using ES6 Proxies☆12Feb 1, 2019Updated 7 years ago
- ☆10Mar 14, 2017Updated 8 years ago
- The Django application powering calltheshots.us☆13May 30, 2022Updated 3 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Apr 30, 2019Updated 6 years ago
- Repository for machine learning tool, MeL, that assist in providing insights for open text data. This tool is part of the 10x Machine Lea…☆13Oct 19, 2023Updated 2 years ago
- Continuously reads data from a named pipe and publishes it to a Kinesis stream.☆10Sep 19, 2016Updated 9 years ago
- DMD Open-access Variant Explorer (DOVE): A tool to aggregate clinically relevant information related to variants in the DMD gene.☆12Feb 25, 2026Updated last week
- ☆23Dec 15, 2017Updated 8 years ago
- EDK II LKL Filesystem Driver☆13Mar 7, 2017Updated 9 years ago
- <spark-line> web component for making...spark lines!☆11Oct 3, 2018Updated 7 years ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 4 years ago
- ☆22Jun 25, 2015Updated 10 years ago
- The Nuxt.js static site that powers BotBlock.org via Cloudflare Pages.☆12May 28, 2025Updated 9 months ago
- RISC-V Emulator☆11Mar 1, 2023Updated 3 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- R package for supporting exploratory graphics at http://opensource.nibr.com/xgx☆14Jul 12, 2025Updated 7 months ago
- ☆17Mar 25, 2023Updated 2 years ago
- Scripts and code written whilst learning and experimenting with machine learning☆13Jul 18, 2022Updated 3 years ago
- Intercept gRPC traffic of dockerd and containerd with eBPF☆12Jun 6, 2023Updated 2 years ago