Giters
Michael Zappa (michzappa)

michzappa

Geek Repo

6

followers

22

following

150

stars

Location:Maryland

Home Page:michzappa.com

Github PK Tool:Github PK Tool

Michael Zappa's starred repositories

ImHex

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

Language:C++License:GPL-2.0Stargazers:33489Issues:447Issues:1051

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:29173Issues:348Issues:4147

bruno

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

Language:JavaScriptLicense:MITStargazers:20981Issues:64Issues:1452

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:19814Issues:61Issues:564

dolphin

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

Language:C++License:NOASSERTIONStargazers:12301Issues:480Issues:0

home-manager

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

Language:NixLicense:MITStargazers:6126Issues:54Issues:2091

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:OCamlLicense:LGPL-2.1Stargazers:4668Issues:103Issues:9897

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:3899Issues:69Issues:1551

cve-rs

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

Language:RustLicense:NOASSERTIONStargazers:3643Issues:22Issues:28

librime

Rime Input Method Engine, the core library

Language:C++License:BSD-3-ClauseStargazers:3204Issues:94Issues:503

computerraria

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

Language:RustLicense:MITStargazers:3191Issues:18Issues:3

catala

Programming language for literate programming law specification

Language:OCamlLicense:Apache-2.0Stargazers:1939Issues:21Issues:228

emacs-which-key

Emacs package that displays available keybindings in popup

Language:Emacs LispLicense:GPL-3.0Stargazers:1708Issues:24Issues:287

emacs-libvterm

Emacs libvterm integration

Language:Emacs LispLicense:GPL-3.0Stargazers:1657Issues:37Issues:459

gitu

A TUI Git client inspired by Magit

Language:RustLicense:MITStargazers:1613Issues:5Issues:73

exec-path-from-shell

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

Language:Emacs LispLicense:NOASSERTIONStargazers:1375Issues:34Issues:92

disko

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

Language:NixLicense:MITStargazers:1366Issues:13Issues:195

expand-region.el

Emacs extension to increase selected region by semantic units.

Language:Emacs LispLicense:GPL-3.0Stargazers:1339Issues:30Issues:0

org-bullets

utf-8 bullets for org-mode

Language:Emacs LispStargazers:673Issues:25Issues:25

jacobin

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

Language:GoLicense:MPL-2.0Stargazers:671Issues:9Issues:14

rainbow-delimiters

Emacs rainbow delimiters mode

Language:Emacs LispLicense:GPL-3.0Stargazers:661Issues:17Issues:69

elpaca

An elisp package manager

Language:Emacs LispLicense:GPL-3.0Stargazers:552Issues:9Issues:272

english-lang

The English Programming Language

Stargazers:442Issues:11Issues:11

Jovian-NixOS

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

Language:NixLicense:MITStargazers:436Issues:19Issues:99

hl-todo

Highlight TODO keywords

Language:Emacs LispLicense:GPL-3.0Stargazers:410Issues:10Issues:53

nixos-vscode-server

Visual Studio Code Server support in NixOS

Language:NixLicense:MITStargazers:360Issues:11Issues:46

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:KotlinLicense:GPL-3.0Stargazers:290Issues:11Issues:114

tree-sitter-typst

Tree Sitter grammar for Typst

Language:CLicense:MITStargazers:96Issues:2Issues:31

traf

A proof tree viewer that works with Coq through Proof General

Language:OCamlLicense:GPL-3.0Stargazers:24Issues:3Issues:0

contract.el

Racket-style higher-order contracts for Emacs Lisp

Language:Emacs LispLicense:GPL-3.0Stargazers:12Issues:2Issues:1