femtomc

Bayesian brain-in-a-jar.

@probcompBoston, MA

Pinned Repositories

abstraps
Pull your compiler up with abstract bootstraps.
Language:Rust31 2 31
jax-badge
An awesome badge to highlight that your project uses JAX under the hood.
4 0 01
Jaynes.jl
E.T. Jaynes home phone.
Language:Julia45 4 131
MLIR.jl
Language:Julia0 0 00
pistachio
A small, nutty dependently typed language.
Language:Rust9 0 00
pollen-slides
Extensible slideshow maker using Pollen (Racket) and Remark.js
Language:Raku5 0 01
Problox.jl
The world is everything that is the case.
Language:Julia8 0 21
Synthesizer.jl
Switched-On Bayes.
Language:Julia4 0 20
wowcaml
Extending mincaml with "fun" PL ideas.
Language:Rust7 0 00
brutus
Language:Julia62 9 66

femtomc's Repositories

femtomc/abstraps
Pull your compiler up with abstract bootstraps.
Language:Rust31 2 31
femtomc/pistachio
A small, nutty dependently typed language.
Language:Rust9 0 00
femtomc/wowcaml
Extending mincaml with "fun" PL ideas.
Language:Rust7 0 00
femtomc/jax-badge
An awesome badge to highlight that your project uses JAX under the hood.
4 0 01
femtomc/language-greenhouse
Growing languages with interpreters and staging.
Language:Rust3 0 00
femtomc/fun.lean
Mike Spivey's "Principles of Programming Languages" in Lean4.
Language:Lean1 0 0
femtomc/8452-minimal-repro
Language:Python1 0
femtomc/dotfiles
Language:Python0 0
femtomc/femtomc
0 0
femtomc/GenParticleFilters.jl
Building blocks for simple and advanced particle filtering in Gen.
Language:Julia0 01
femtomc/GenTL
C++ template library for probabilistic inference and learning based on probabilistic programming
Language:C++0 0
femtomc/GenTorch
Work-in-progress C++/LibTorch-based Gen probabilistic programming language
Language:C++0 0
femtomc/HVM
A massively parallel, optimal functional runtime in Rust
Language:Rust0 0
femtomc/iosevka-custom
Language:CSS0 0
femtomc/julia-snail
An Emacs development environment for Julia
Language:Emacs Lisp0 0
femtomc/Kinetix
Reinforcement learning on general 2D physics environments in JAX
Language:Python
femtomc/koka
Koka language compiler and interpreter
Language:Haskell0 0
femtomc/memo
A language for mental models
femtomc/mlax
Transpiler from JAX to Apple Metal via MLX.
Language:Python
femtomc/oryx
Oryx is a library for probabilistic programming and deep learning built on top of Jax.
Language:Python0 0
femtomc/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Language:Rust0 0
femtomc/peridot
A fast functional language based on two level type theory
Language:Haskell0 0
femtomc/pi-forall
A demo implementation of a simple dependently-typed language
Language:Haskell0 0
femtomc/pistachio.vim
Language:Vim script0 0
femtomc/pls.lean
Language:Lean1 0
femtomc/pollen-website
Language:Pascal0 0
femtomc/SciLean
Scientific computing in Lean 4
Language:Lean0 0
femtomc/spring22
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
Language:Coq0 0
femtomc/staged
Staged compilation with dependent types
Language:TeX0 0
femtomc/tinygp
The tiniest of Gaussian Process libraries
Language:Python0 0