-
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
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
mboehme / aflfast
Forked from mirrorer/aflAFLFast (extends AFL with Power Schedules)
otrack / epaxos
Forked from efficient/epaxosBased on http://efficient.github.io/epaxos (morethan5 branch)
PowerDNS / lmdb-go
Forked from bmatsuo/lmdb-goBindings for the LMDB C library
rurban / dieharder
Forked from seehuhn/dieharderA fixed version of Robert G. Brown's "dieharder" tests for random number generators.
uber-research / go
Forked from golang/goThe Go programming language. This fork was created for pprof++, a Go profiler with hardware performance monitoring. Read through the link for more detail: https://eng.uber.com/pprof-go-profiler/
PostgreSQL schema and import scripts for recent US Census data
google / dagger
Forked from square/daggerA fast dependency injector for Android and Java.
pg-redis-fdw / redis_fdw
Forked from engobi/redis_fdwA PostgreSQL foreign data wrapper for Redis
openrtb / openrtb2x
Forked from chompi/openrtb2xUp to date reference impl of the latest spec (2.0) of OpenRTB
Capture digital ad events and track performance metrics in realtime.
billzorn / mtg-rnn
Forked from karpathy/char-rnnMulti-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch. Custom modifications to allow better support for Magic: the Gathering card generation.
Framework for running and organising QuickCheck test properties and HUnit test cases
uBLAS / ublas
Forked from boostorg/ublasDevelopment version of Boost uBLAS
anasazi / rust-redex
Forked from nikomatsakis/rust-redexA Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
nikomatsakis / rust-redex
Forked from jbclements/rust-redexA Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
vim-pandoc / vim-pandoc-legacy
Forked from dsanson/vim-pandoc[UNSUPPORTED/use vim-pandoc/vim-pandoc] vim bundle for pandoc users
maxtaco / coffee-script
Forked from jashkenas/coffeescriptIcedCoffeeScript