- Fremont, CA
- craftspider.github.io
Stars
This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A library for deadlock-free session-typed communication in Rust.
Write expressive, high-performance parsers with ease.
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
streetturtle / jekyll-clean-dark
Forked from scotte/jekyll-cleanDark clean theme for jekyll
🌒 Light and dark blog theme for Jekyll, inspired by Dash UI for Atom.
Slack/Discord bot for running interactive REPLs and shells from a chat.
Source code and modding kit for Hamumu's Dr. Lunatic series.
Heinous hackery to concatenate constant strings.
EngineHub / WorldEditCUI
Forked from Mumfrey/WorldEditCUIWorldEdit client interface for Minecraft, running on Fabric
Run compilers interactively from your web browser and interact with the assembly
Pure Python Itanium C++ ABI demangler
Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
Collection of library stubs for Python, with static types
The website for Space-Time Adventures at RIT (STAR)
GitHub do not ban us from open source world 🇮🇷
Addon for Cookie Clicker that offers a wide range of tools and statistics to enhance the game
Heap Layers: An Extensible Memory Allocation Infrastructure
aiomysql is a library for accessing a MySQL database from the asyncio
An API wrapper for Discord written in Python.