-
CTO @CoreInfraAI
- St.-Petersburg, Russia
- https://pgregory.net
Stars
- All languages
- Assembly
- Bikeshed
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Cython
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FLUX
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Less
- Lua
- Makefile
- Markdown
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- PLpgSQL
- Perl
- Prolog
- Python
- R
- Racket
- Ragel
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TLA
- Tcl
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Wren
- Zig
Modern plain text accounting. Beancount compatible.
A minimal, secure Python interpreter written in Rust for use by AI
MaxMind's GeoIP2 GeoLite2 Country, City, and ASN databases
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
`t` is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.
High-precision, high-performance fixed-point decimal type for Rust.
A tiny experimental language designed to be targeted by coding LLMs
Implementation of the Cedar Policy Language
A language with lexical effect handlers and lightweight effect polymorphism
Real world text editing traces for benchmarking CRDT and Rope data structures
High quality, fast and easy to build cryptography for Rust
Protect hosts from brute-force attacks against SSH and other services
An extensible framework for linking databases and interactive views.
Query processing and transformation of array-backed data tables.
A controlled concurrency testing framework for the JVM
Trixter Proxy + tokio-netem: chaos engineering tools for Rust networking
A lightweight, no-std, object-safe, serialization-only framework for Rust
New register allocator designed as a successor to regalloc2