michzappa

followers

following

stars

Maryland

Michael Zappa's starred repositories

gitu

A TUI Git client inspired by Magit

Language:RustMIT157900

dolphin

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

Language:C++NOASSERTION1222300

bruno

Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)

Language:JavaScriptMIT2010600

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Language:RustNOASSERTION361000

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++GPL-2.03319300

emacs-libvterm

Emacs libvterm integration

Language:Emacs LispGPL-3.0165100

nixos-vscode-server

Visual Studio Code Server support in NixOS

Language:NixMIT35400

tree-sitter-typst

Tree Sitter grammar for Typst

Language:CMIT9300

elpaca

An elisp package manager

Language:Emacs LispGPL-3.054100

contract.el

Racket-style higher-order contracts for Emacs Lisp

Language:Emacs LispGPL-3.01200

traf

A proof tree viewer that works with Coq through Proof General

Language:OCamlGPL-3.02300

catala

Programming language for literate programming law specification

Language:OCamlApache-2.0192700

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0381300

sms-ie

SMS Import / Export is a simple Android app that imports and exports SMS and MMS messages, call logs, and contacts from and to JSON / NDJSON files.

Language:KotlinGPL-3.027800

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustMIT1969000

librime

Rime Input Method Engine, the core library

Language:C++BSD-3-Clause318300

jacobin

A more than minimal JVM written in Go and capable of running Java 17 classes.

Language:GoMPL-2.066600

expand-region.el

Emacs extension to increase selected region by semantic units.

Language:Emacs LispGPL-3.0133400

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1464000

english-lang

The English Programming Language

computerraria

A fully compliant RISC-V computer made inside the game Terraria

Language:RustMIT313000

serenity

The Serenity Operating System 🐞

Language:C++BSD-2-Clause2897200

org-bullets

utf-8 bullets for org-mode

Language:Emacs Lisp67200

exec-path-from-shell

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

Language:Emacs LispNOASSERTION136800

emacs-which-key

Emacs package that displays available keybindings in popup

Language:Emacs LispGPL-3.0170300

rainbow-delimiters

Emacs rainbow delimiters mode

Language:Emacs LispGPL-3.065900

hl-todo

Highlight TODO keywords

Language:Emacs LispGPL-3.040800

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixMIT599300

disko

Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

Language:NixMIT130000

Jovian-NixOS

Discussions: https://matrix.to/#/#Jovian-Experiments:matrix.org

Language:NixMIT41300