Philippe Desjardins-Proulx (PhDP)

PhDP

Geek Repo

Company:Université de Montréal

Location:Quebec, Canada.

Home Page:https://phdp.github.io/

Twitter:@LambdaPhDP

Github PK Tool:Github PK Tool


Organizations
PoisotLab
QUICC-FOR
TheoreticalEcosystemEcology

Philippe Desjardins-Proulx's starred repositories

tailwindcss

A utility-first CSS framework for rapid UI development.

Language:TypeScriptLicense:MITStargazers:80685Issues:613Issues:3307

protobuf

Protocol Buffers - Google's data interchange format

Language:C++License:NOASSERTIONStargazers:64692Issues:2052Issues:6195

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32275Issues:391Issues:592

llm.c

LLM training in simple, raw C/CUDA

Language:CudaLicense:MITStargazers:22194Issues:217Issues:124

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

candle

Minimalist ML framework for Rust

Language:RustLicense:Apache-2.0Stargazers:14639Issues:146Issues:627

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookLicense:MITStargazers:13866Issues:107Issues:290

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Language:TypeScriptLicense:MITStargazers:4230Issues:22Issues:533

data-oriented-design

A curated list of data oriented design resources.

mori

ClojureScript's persistent data structures and supporting API from the comfort of vanilla JavaScript

pyrsistent

Persistent/Immutable/Functional data structures for Python

Language:PythonLicense:MITStargazers:2003Issues:40Issues:175

bionic-gpt

BionicGPT is an on-premise replacement for ChatGPT, offering the advantages of Generative AI while maintaining strict data confidentiality

Language:RustLicense:Apache-2.0Stargazers:1777Issues:22Issues:308

arquero

Query processing and transformation of array-backed data tables.

Language:JavaScriptLicense:BSD-3-ClauseStargazers:1230Issues:30Issues:153

corrosion

Marrying Rust and CMake - Easy Rust and C/C++ Integration!

Language:CMakeLicense:MITStargazers:1023Issues:14Issues:195

unordered_dense

A fast & densely stored hashmap and hashset based on robin-hood backward shift deletion

Language:C++License:MITStargazers:843Issues:19Issues:70

lambda-8cc

x86 C compiler written in untyped lambda calculus

Language:Common LispLicense:MITStargazers:612Issues:9Issues:2

qpp

Modern C++ quantum computing library

Language:C++License:MITStargazers:521Issues:34Issues:74

HoTT-Agda

Development of homotopy type theory in Agda

Language:AgdaLicense:MITStargazers:409Issues:57Issues:25

broom

An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection

crafting-interpreters-rs

Crafting Interpreters in Rust

Language:RustLicense:BSL-1.0Stargazers:242Issues:5Issues:36

chirho

An experimental language for causal reasoning

Language:PythonLicense:Apache-2.0Stargazers:164Issues:11Issues:208

PodcastBulkDownloader

Simple software for downloading podcasts

Language:PythonLicense:MPL-2.0Stargazers:145Issues:5Issues:31
Language:RacketLicense:BSD-2-ClauseStargazers:132Issues:6Issues:52

Agda

Agda formalisation of the Introduction to Homotopy Type Theory

Language:AgdaLicense:GPL-3.0Stargazers:122Issues:11Issues:0

themisto

Space-efficient pseudoalignment with a colored de Bruijn graph

Language:C++License:GPL-2.0Stargazers:49Issues:7Issues:25

cppgc

https://v8.dev/blog/oilpan-library

Language:C++License:NOASSERTIONStargazers:29Issues:0Issues:0

Persistent-Data-Structures

In this repository, we deal with the task of implementing a small library of persistent data structures in C. A persistent data structure is a data structure that always preserves the previous version of itself when it is modified. They are effectively immutable.

Language:CLicense:MITStargazers:10Issues:2Issues:0

random

Simple and fast generation of random numbers in Rust

Language:RustLicense:BSD-3-ClauseStargazers:4Issues:2Issues:3

Hashtable

Hashtable library with AVX-2 optimizations.

Language:CStargazers:3Issues:0Issues:0

Billingsley-Probability-and-Measure-Exercises

Solutions in LaTeX for Billingsley's Probability and Measure, hopefully will include most sections. Repo is used by Overleaf.

Language:TeXStargazers:3Issues:0Issues:0