+
Skip to content
View femtomc's full-sized avatar
🍳
Let them cook.
🍳
Let them cook.

Sponsoring

@pawamoy
@typst
@MikeInnes

Highlights

  • Pro

Organizations

@JuliaCompilerPlugins

Block or report femtomc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 2,707 62 Updated Sep 23, 2025

Claude skills for Lean 4 theorem proving

Shell 6 Updated Oct 20, 2025
OCaml 39 Updated Aug 11, 2025

A minimal implementation of DeepMind's Genie world model

Python 983 66 Updated Sep 28, 2025

A minimalist design exploration

HTML 2,965 199 Updated Aug 20, 2025
C++ 6 1 Updated Oct 15, 2025

Probabilistic programming with probabilistic uncomputation

Julia 3 1 Updated Oct 3, 2025

Demo project showing a single Rust codebase running on CPU and directly on GPUs

Rust 447 13 Updated Aug 8, 2025

Pre-compiled XLA extension

Elixir 100 31 Updated Jul 3, 2025

Safe Rust bridge for creating Erlang NIF functions

Rust 4,643 232 Updated Sep 10, 2025

Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem

TypeScript 3,781 178 Updated Oct 18, 2025

An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude

GDScript 353 37 Updated Mar 19, 2025

An expressive language for discrete probabilistic programming with lazy knowledge compilation

Julia 9 3 Updated Oct 14, 2025

An expressive language for discrete probabilistic programming with lazy knowledge compilation

Julia 1 Updated Jun 19, 2025

Probabilistic programming with vectorized programmable inference

Python 6 1 Updated Oct 17, 2025

exploration

Python 1 Updated Jun 14, 2025

Multi-platform high-performance compute language extension for Rust.

Rust 1,741 110 Updated Oct 18, 2025

Controlled text generation with programmable constraints

Python 149 18 Updated Sep 15, 2025

Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…

Clojure 271 6 Updated Apr 4, 2024

Random variate generation library in C

C 7 Updated Sep 26, 2025

Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind (LaBToM)

Julia 7 1 Updated Apr 13, 2025

Firefly III: a personal finances manager

PHP 21,226 1,932 Updated Oct 20, 2025

NumPy+Jax with named axes and an uncompromising attitude

Jupyter Notebook 22 1 Updated Mar 4, 2025
Python 3 1 Updated May 23, 2024

a Python library for creating interactive, JavaScript-based visualizations.

Python 11 4 Updated Apr 24, 2025

The Modular Platform (includes MAX & Mojo)

Mojo 25,010 2,709 Updated Oct 19, 2025

Highly scalable 2D JAX physics engine.

Python 60 7 Updated Mar 10, 2025

Reinforcement learning on general 2D physics environments in JAX. ICLR 2025 Oral.

Python 214 10 Updated Oct 13, 2025

Sequential Monte Carlo in python

Python 471 80 Updated Oct 14, 2025

Create richer and more beautiful pages in MkDocs, by using variables and calls to macros in the markdown code.

Python 388 50 Updated Oct 18, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载