- St.-Petersburg, Russia
- https://pgregory.net
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FLUX
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- Less
- Lua
- Makefile
- Markdown
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- PLpgSQL
- Perl
- Prolog
- Python
- R
- Racket
- Ragel
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TLA
- Tcl
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Wren
- Zig
Shrinkray is a modern multi-format test-case reducer
Reactive Distributed communication framework for .NET, Kotlin, C++. Inspired by Rider IDE.
Fine-grained parallelism with sub-nanosecond overhead in Zig
🧟 Inject bugs and see if your tests catch them!
Very fast, high quality, platform-independent hashing algorithm.
Facilities for generating dependently-typed data
Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…
Emulator for rapid prototyping of Software Defined Networks
Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
Two Level Segregated Fit (TLSF) memory allocator implementation, BSD License
Analytic sampler framework for algebraic data types
Analytic sampler compiler for combinatorial systems