-
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
16
stars
written in Scala
Clear filter
CMAK is a tool for managing Apache Kafka clusters
A fault tolerant, protocol-agnostic RPC system
Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.
Open-source high-performance RISC-V processor
Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.
An asynchronous programming facility for Scala
Constructor of incremental parsers in Scala
A language with lexical effect handlers and lightweight effect polymorphism