Davidnet/prove2me-sandbox-kits
Lean 4 and Mathlib Docker Sandbox kits for Prove2Me agents
Sr AI @ 575 Lab / Dataiku | GDE JAX/FLAX | Docker Captain | 🇨🇦 🇫🇷 🇨🇴
Repositories
Davidnet/single-neuron-presentation
Davidnet/opensource-colombia
Este repositorio contiene proyectos open source colombianos activos, mantenidos y de libre uso. Desde frameworks mundialmente usados hasta APIs de datos abiertos y herramientas para desarrollo, demuestra el talento y la capacidad de Colombia en la creación de tecnología libre y accesible para todos.
Davidnet/dataiku-higgs-bosson-model-explorations
Davidnet/grokking-mechanism
Reproducing grokking on modular arithmetic with a small transformer
Davidnet/gemma-scope-web
Local-first Gemma Scope 2 feature visualization with Gemma 3 1B and jax-js WebGPU
Davidnet/vllm
Davidnet/CM3070-Thesis-University-curated_breast_imaging_ddsm
Davidnet/kapso-generator
Turn plain text into a validated Kapso WhatsApp workflow graph using a local Gemma model via Ollama.
Davidnet/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Davidnet/junior-dev-example
Davidnet/jax-fsdp-slide
JAX 2D mesh FSDP × TP interactive slide
Davidnet/vllm-extras-activations
Davidnet/gemma4-vllm-0201-monkeypatch
vLLM 0.20.1 monkeypatch that adds extract_activation_layers for Gemma 4 (E4B-it) hidden-state extraction at the last prompt token, with HF-reference verification harness (cosine >= 0.998 in both eager and fast-prefill modes).
Davidnet/gemma_earth
The GemmaEarth project is a domain-focused Tunix post-training and benchmarking effort that fine-tunes Google’s Gemma 3 4B IT model for Earth Observation (EO) understanding, beginning with satellite scene classification
Davidnet/Davidnet.github.io
Website of David Cardozo