-
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
- HLSL
- 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
- Pony
- Prolog
- Python
- R
- Racket
- Ragel
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TLA
- Tcl
- TeX
- TypeScript
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- Wren
- Zig
A little fail-safe filesystem designed for microcontrollers
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
A prompt engineering functional programming language
Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.
Property-based testing library based on Reflective Generators
Completion-based I/O for Rust. No runtime, no hidden tasks.
A rust crate that provides a space efficient 𝛿-based CRDT implementation
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
Gecko: a fast GLR parser with automatic syntax error recovery
A SQL extension for declarative data visualisation based on the Grammar of Graphics.
A simple and fast linear algebra library for games and graphics
High-performance time series downsampling algorithms for visualization
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Property-based testing for web and terminal UIs
Topologic is a software modelling library enabling hierarchical and topological representations of architectural spaces, buildings and artefacts through non-manifold topology.
Iosevka configuration to mimic the look and feel of Berkeley Mono as closely as possible.
StatsHouse is a highly available, scalable, multitenant monitoring system
Modern plain text accounting. Beancount compatible.