Skip to content
View mikelma's full-sized avatar
🚀
🚀

Block or report mikelma

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

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

QML 5,295 400 Updated Apr 2, 2026

Truly independent web browser

C++ 62,028 2,912 Updated Apr 2, 2026

Mirror of GNU Emacs

Emacs Lisp 4,997 1,361 Updated Apr 2, 2026

A multi-shell completion library.

Go 1,228 26 Updated Mar 25, 2026

CLI interfaces & config objects, from types

Python 1,010 44 Updated Apr 2, 2026

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Python 1,769 83 Updated Feb 16, 2026

Octax: Accelerated CHIP-8 Arcade Environments for JAX

Python 40 4 Updated Feb 18, 2026

SPECTral uncertainty set for Robust Estimation (fairness without demographics)

Python 3 Updated Nov 17, 2025

JACK client for Overbridge devices

C 207 20 Updated Dec 21, 2025

Sample and MIDI device manager

C 370 39 Updated Mar 29, 2026

♟️ Vectorized RL game environments in JAX

Python 595 43 Updated Mar 6, 2025

Official repository for the paper "MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization"

Python 9 2 Updated Oct 8, 2025

The Neural Combinatorial Optimization Library (NCOLib) is an accessible software library designed to simplify the application of neural network models and deep learning algorithms to solve combinat…

Python 19 1 Updated Nov 14, 2025

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Python 11,633 1,308 Updated Mar 28, 2026

Evolution Strategies in JAX 🦎

Python 744 60 Updated Apr 2, 2026

Probabilistic Prototype-Based Self-Explainable Neural Networks

Python 2 Updated Nov 4, 2025

Modernity meets insane extensibility. The future of organizing your life in Neovim.

Lua 7,257 240 Updated Apr 1, 2026

JAX-accelerated Meta-Reinforcement Learning Environments Inspired by XLand and MiniGrid 🏎️

Python 330 27 Updated Dec 16, 2025

Mastering Diverse Domains through World Models

Python 3,028 500 Updated Sep 23, 2025

(Crafter + NetHack) in JAX. ICML 2024 Spotlight.

Python 384 45 Updated Feb 10, 2026

Multiple cursors for emacs.

Emacs Lisp 2,497 166 Updated Jan 17, 2026
Python 6 Updated Apr 19, 2025
1 Updated Nov 26, 2024
Python 5 1 Updated Dec 15, 2025

Minetest Game - A lightweight and well-maintained base for Luanti, intended for modding

Lua 1,533 601 Updated Jan 24, 2026

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

C++ 12,490 2,278 Updated Apr 1, 2026

Highlight TODO keywords

Emacs Lisp 469 29 Updated Jan 3, 2026
Python 330 66 Updated Dec 19, 2024

A Library for Minimax Risk Classifiers

Python 32 2 Updated Mar 20, 2026

Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.

Python 6,062 383 Updated Apr 1, 2026
Next