-
Université de Montréal
- Quebec, Canada.
- https://phdp.github.io/
- @LambdaPhDP
Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- F#
- F*
- Fortran
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Max
- Monkey C
- OCaml
- Objective-C
- Perl
- PowerShell
- Prolog
- Protocol Buffer
- Python
- R
- Racket
- ReScript
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Shell
- Smarty
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
Screaming-fast Python 3.5+ HTTP toolkit integrated with pipelining HTTP server based on uvloop and picohttpparser.
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
A customisable 3D platform for agent-based AI research
Experimental, scalable, high performance HTTP server
A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
C library for encoding, decoding and manipulating JSON data
A parallel implementation of gzip for modern multi-processor, multi-core machines.
MPI programming lessons in C and executable code examples
A cross-platform C and C++ unit testing framework for the 21st century