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,938 574 Updated Mar 21, 2026

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

Python 390 58 Updated Mar 19, 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,208 411 Updated Mar 21, 2026

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

Python 398 47 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

86 6 Updated Aug 31, 2024

Example Radar programs for the Phaser (CN0566)

Python 186 63 Updated Nov 3, 2025

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

Python 381 44 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 751 109 Updated Mar 22, 2026

Static Code Analysis for Julia

Julia 159 31 Updated Mar 22, 2026

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

Python 1 Updated Oct 20, 2023

🦌 Soothing pastel theme for VSCode

TypeScript 2,131 84 Updated Mar 19, 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,874 1,044 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,682 1,456 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 834 63 Updated Nov 24, 2025

Matplotlib styles for scientific plotting

Python 8,686 795 Updated Feb 25, 2026

A fast implementation of Aho-Corasick in Rust.

Rust 1,217 112 Updated Feb 27, 2026

LaTeX support for the IntelliJ platform by JetBrains.

Kotlin 976 96 Updated Mar 14, 2026

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

5,231 870 Updated Mar 14, 2026

The world’s fastest framework for building websites.

Go 87,210 8,221 Updated Mar 21, 2026

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

30 8 Updated Sep 9, 2023

Free monospaced font with programming ligatures

Clojure 81,329 3,184 Updated Mar 9, 2026

A fast, clean, responsive Hugo theme.

HTML 13,261 3,358 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,799 1,016 Updated Mar 19, 2026