glsscnnn

mm

Decompilation of The Legend of Zelda: Majora's Mask

finance

Financial modeling in R

cutter

Free and Open Source Reverse Engineering Platform powered by rizin

ghidra

Ghidra is a software reverse engineering (SRE) framework

kafka

Mirror of Apache Kafka

TexasSolver

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

dfhack

Memory hacking library for Dwarf Fortress and a set of tools that use it

amqp-client

OCaml Amqp client library for Async and Lwt.

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Summer2025-Internships

Collection of Summer 2025 tech internships!

react-native

A framework for building native applications using React

wuffs

Wrangling Untrusted File Formats Safely

mgrs-java

Military Grid Reference System Java Library

geoq

Django web application to collect geospatial features and manage feature collection among groups of users

QuickPOMDPs.jl

Concise and friendly interfaces for defining MDP and POMDP models for use with POMDPs.jl solvers

clrs

bonsai

A library for building dynamic webapps, using Js_of_ocaml

cobol-programming-course

Training materials and labs for a "Getting Started" level course on COBOL

deepmind-research

This repository contains implementations and illustrative code to accompany DeepMind publications

lucene

Apache Lucene open-source search software

DataConvenience.jl

Convenience functions missing in Julia

interview

📚 C/C++ 技术面试基础知识总结，包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。This repository is a summary of the basic knowledge of recruiting job seekers and beginners in the direction of C/C++ technology, including language, program library, data structure, algorithm, system, network, link loading library, interview experience, recruitment, recommendation, etc.

DataStructures.jl

Julia implementation of Data structures

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

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.

ml-brainfuck

Brainfuck interpreter written in Ocaml

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

base

Standard library for OCaml

cohttp_static_handler

A library for easily creating a cohttp handler for static files

advent-of-code

My solutions to Advent of Code problems