Skip to content
View navh's full-sized avatar
🦔
hedgehog
🦔
hedgehog

Highlights

  • Pro

Block or report navh

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

Starred repositories

Showing results

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

TypeScript 11,949 577 Updated Mar 27, 2026

The versatile ocean simulator, in pure Python, powered by JAX.

Python 392 58 Updated Mar 31, 2026

A simple interactive task and project manager for the command line 🐸 📋

Rust 2 Updated Jun 2, 2024

Simplifying reinforcement learning for complex game environments

C 5,332 416 Updated Apr 1, 2026

🏛️A research-friendly codebase for fast experimentation of single-agent reinforcement learning in JAX • End-to-End JAX RL

Python 401 46 Updated Mar 18, 2026

This repository is a collection of papers and research material that students need to be aware of when they are getting started with research in the lab

87 6 Updated Aug 31, 2024

Example Radar programs for the Phaser (CN0566)

Python 188 63 Updated Nov 3, 2025

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

Python 384 45 Updated Feb 10, 2026

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.

Julia 752 107 Updated Mar 29, 2026

Static Code Analysis for Julia

Julia 159 31 Updated Apr 1, 2026

🕹️ A diverse suite of scalable reinforcement learning environments in JAX

Python 1 Updated Oct 20, 2023

🦌 Soothing pastel theme for VSCode

TypeScript 2,142 83 Updated Apr 1, 2026

🕹️ A diverse suite of scalable reinforcement learning environments in JAX

Python 820 95 Updated Mar 9, 2026

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

HTML 35,850 1,039 Updated Mar 18, 2025

A reinforcement learning package for Julia

Julia 651 107 Updated Mar 19, 2025

The best way to start a full-stack, typesafe Next.js app

TypeScript 28,707 1,454 Updated Dec 13, 2025

(deprecateed) create-universal-app(CUA) is an opinionated template for creating fullstack universal apps (Expo, Next, tRPC, Prisma, Clerk, Solito, Tamagui)

TypeScript 1,010 64 Updated Nov 22, 2023

Core components for enabling Ionic in your Svelte(Kit) project

JavaScript 832 63 Updated Nov 24, 2025

Matplotlib styles for scientific plotting

Python 8,707 797 Updated Feb 25, 2026

A fast implementation of Aho-Corasick in Rust.

Rust 1,225 113 Updated Feb 27, 2026

LaTeX support for the IntelliJ platform by JetBrains.

Kotlin 976 96 Updated Apr 1, 2026

The Robot Operating System, is a meta operating system for robots.

5,274 876 Updated Mar 31, 2026

The world’s fastest framework for building websites.

Go 87,366 8,229 Updated Apr 1, 2026

Homebrew Tap for https://github.com/romkatv/powerlevel10k

30 8 Updated Sep 9, 2023

Free monospaced font with programming ligatures

Clojure 81,366 3,183 Updated Mar 9, 2026

A fast, clean, responsive Hugo theme.

HTML 13,316 3,359 Updated Mar 22, 2026

Kedro is a toolbox for production-ready data science. It uses software engineering best practices to help you create data engineering and data science pipelines that are reproducible, maintainable,…

Python 10,803 1,020 Updated Apr 1, 2026