jerryhue Goto Github PK

armv6-disassembler

badge-generator

Magically generate Markdown badges for your docs 🛡️ 🦡 🧙

bevy

A refreshingly simple data-driven game engine built in Rust

blockly

The web-based visual programming editor.

citra

A Nintendo 3DS Emulator

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.

docusaurus

Easy to maintain open source documentation websites.

emacs

Mirror of GNU Emacs

emojicode

😀😜🔂 World’s only programming language that’s bursting with emojis

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

fstar

Verification system for effectful programs

glazed-donut

Static Site Generator (generates full static HTML website given text files)

godot

Godot Engine – Multi-platform 2D and 3D game engine

ipc144

Seneca College IPC144 Course Notes

jerryhue.github.io

minix

Official MINIX sources - Automatically replicated from gerrit.minix3.org

nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

oot

Decompilation of The Legend of Zelda: Ocarina of Time

osd_ssg

paper

pcsx2

PCSX2 - The Playstation 2 Emulator

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

project64

N64 Emulator

renpy

The Ren'Py Visual Novel Engine

rust

Empowering everyone to build reliable and efficient software.

rust-libp2p

The Rust Implementation of the libp2p networking stack.

rustic

Rust development environment for Emacs

sdl

Simple Directmedia Layer

shoulders

💛 Quickly view a list of your dependencies' open issues.

sqlite

Official Git mirror of the SQLite source tree