8000 mhlr (Daniel Mahler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View mhlr's full-sized avatar

Block or report mhlr

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results
Python 8 1 Updated Jan 29, 2025

Default Repo description from terraform module

Python 3 2 Updated Apr 3, 2025

Simple configuration management with python

Python 6 2 Updated Feb 28, 2025

pipreqs with jupyter notebook support

Python 70 15 Updated Jul 1, 2023

Emacs 29+ minor mode for syntax tree navigation using Tree Sitter

Emacs Lisp 63 8 Updated Feb 27, 2024

Teraflops and microservices

Python 850 100 Updated Feb 10, 2024

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Python 3,101 62 Updated Jul 12, 2025

S-RL Toolbox: Reinforcement Learning (RL) and State Representation Learning (SRL) for Robotics

Python 638 91 Updated Apr 5, 2021

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

C++ 13,546 2,969 Updated Apr 23, 2025

JAX-Toolbox

Python 323 61 Updated Jul 14, 2025

Specify and synthesize systems using symbolic algorithms

Python 50 5 Updated Oct 31, 2024

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

TypeScript 2,431 95 Updated May 23, 2024

Use a quantum computer to decode cellphone signals

Jupyter Notebook 10 9 Updated Apr 3, 2025

GitHub Innovation Graph

Python 484 51 Updated Jun 19, 2025

Make Emacs use the $PATH set up by the user's shell

Emacs Lisp 1,485 83 Updated Nov 7, 2024
C 10 4 Updated Jul 21, 2024

A graphical tool for the ZX calculus

Python 60 21 Updated Jun 18, 2025

Simulating quantum circuits with JAX

Python 67 13 Updated Feb 24, 2025

A fast, user friendly ORM and query builder which supports asyncio.

Python 1,643 95 Updated Jul 14, 2025

A natural language interface for computers

Python 59,938 5,107 Updated Apr 23, 2025

Implementation of Nougat Neural Optical Understanding for Academic Documents

Python 9,527 617 Updated Feb 21, 2025

Solvers/annealers for simulated quantum annealing on CPU and CUDA(NVIDIA GPU).

C++ 88 22 Updated Jun 29, 2023

🏵️ A curated list of Emacs Lisp development resources

900 38 Updated Jan 25, 2025
Emacs Lisp 130 12 Updated Mar 20, 2024

Modern Elisp package development system

Emacs Lisp 28 2 Updated Sep 29, 2024

Compositional Linear Algebra

Python 478 32 Updated May 26, 2025

Hyperdrive is a secure, real time distributed file system

JavaScript 1,929 134 Updated Jun 19, 2025

A specification that python filesystems should adhere to.

Python 1,196 396 Updated Jul 14, 2025

dataframe visualiser

Python 17 2 Updated Aug 13, 2019

Pyro 5 - Python remote objects

Python 353 36 Updated Feb 15, 2025
Next
0