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

Highlights

  • Pro

Block or report azenna

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
8000

Starred repositories

Showing results

A MIPS assembler/emulator for VSCode

Rust 6 2 Updated May 12, 2025

🎨 Generate and change color-schemes on the fly.

Python 8,674 341 Updated Jan 27, 2024

IRC application written in Rust

Rust 2,371 96 Updated May 19, 2025

A docker container for the CouchDB instance required by obsidian-livesync

TypeScript 88 5 Updated May 13, 2025

✨ Magical shell history

Rust 23,987 649 Updated May 22, 2025

A smarter cd command. Supports all major shells.

Rust 26,609 633 Updated May 16, 2025

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 8,705 222 Updated May 23, 2025

The user-friendly command line shell.

Rust 29,890 2,061 Updated May 23, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 30,817 832 Updated May 23, 2025
Agda 3 Updated Dec 28, 2024

Advent of Code

Haskell 3 Updated Dec 23, 2024
Haskell 4 Updated Dec 10, 2024

RISC-V Assembler

Rust 18 5 Updated Oct 26, 2023

Create ctags/etags for a cargo project

Rust 419 31 Updated Mar 5, 2024

SQL Language server and cli

Rust 85 1 Updated Feb 24, 2025

A multilingual package manager for Arch Linux and the AUR.

Haskell 1,816 116 Updated Jan 4, 2025

A helpful AI assistant for Mercury engineers

Haskell 17 4 Updated Oct 1, 2024

Animation engine for explanatory math videos

Python 77,622 6,696 Updated Mar 20, 2025

Neovim support for the Lean theorem prover

Lua 353 32 Updated May 22, 2025

The Ott tool for writing definitions of programming languages and calculi

OCaml 373 49 Updated Dec 30, 2024

Directory of "next-gen" open source self hosted software.

58 Updated Jun 21, 2024

A collection of full time roles in SWE, Quant, and PM for new grads.

12,710 1,108 Updated May 23, 2025

Polygonal synthesizer

Haskell 9 Updated Oct 1, 2024

🦥 Supercharge your Haskell experience in neovim!

Lua 535 21 Updated May 19, 2025

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Haskell 4,300 312 Updated May 7, 2025
Haskell 154 17 Updated May 16, 2025

Erlang backend for the PureScript compiler

Haskell 341 7 Updated Jun 21, 2024

Highly configurable mock server

Haskell 6 Updated Jan 17, 2025

Haskell bindings to the wasmtime WASM engine

Haskell 9 2 Updated Mar 6, 2025

WebAssembly specification, reference interpreter, and test suite.

WebAssembly 3,249 473 Updated May 20, 2025
Next
0