Taine Zhao

@thautwarm · User

GitHub profile ↗ · Compare

Casting a fireball.

1,182 followers239 repositories

Repositories

thautwarm/MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

★ 422JuliaForks 38

thautwarm/context-rpg

Context management via Arrow keys & Esc/Enter/E. Gamepad support coming soon.

★ 0TypeScriptForks 0

thautwarm/EBNFParser

Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).

★ 64PythonForks 6

thautwarm/JML.jl

A ML dialect based on Julia, for MLStyle examples.

★ 9JuliaForks 1

thautwarm/Typed-BNF

Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.

★ 63F#Forks 2

thautwarm/Quick-Backend

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

★ 25TeXForks 1

thautwarm/hapi

App for Claude Code / Codex / Gemini / OpenCode, vibe coding anytime, anywhere

★ 0Forks 0

thautwarm/RBNF

This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parser project which is a good alt.

★ 42PythonForks 2

thautwarm/diojit

Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.

★ 116PythonForks 2

thautwarm/moshmosh

An amazing syntax extension system in pure Python, the way to coding efficiency.

★ 106PythonForks 7

thautwarm/leiden-cd

Leiden Community Detection Algorithm in .NET, exported as standalone shared library

★ 2C#Forks 0

thautwarm/FSTan

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

★ 44F#Forks 3

thautwarm/typed-env

Describe the requirements of environment variables in a type-safe and ergonomic way.

★ 4RustForks 1

thautwarm/autojmp

autojump implementation that is applicable to any shell and any OS

★ 10PythonForks 1