Taine Zhao

MLStyle.jl. Julia functional programming infrastructures and metaprogramming facilities

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

restrain-jit. The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)

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

CanonicalTraits.jl. Full-featured traits in Julia. Without full features how dare I say this?

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

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

flowpython. tasty feature extensions for python3(NO MAINTENANCE!).

RBNF.jl. A DSL for modern parsing

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

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.

Traffy.UnityPython. An efficient Python implementation in C#, running on every platform via Unity IL2CPP.

Virtual.jl. Julia

frontend-for-free. end the parsing problem

graphviz-artist. A chance to focus on graph drawing itself, forget APIs and other stuffs.

PrettyPrint.jl. pretty print that makes sense

gkdhighlight. syntax highligher for GkdTeX

Rem. (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.

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

idris-cam. Sucessor: https://github.com/thautwarm/Quick-Backend

idris-python. Successor project: https://github.com/thautwarm/Quick-Backend

DevOnly.jl. Using runtime-free macro packages as dev-only dependencies.

LLAST. A high level LLVM IR AST provider for GraphEngine JIT.

DIO.jl. Julia implementation for Python Restrain JIT

MLStyle-Playground. Examples for MLStyle.jl

MLFS.jl. MLFS type system: raising ML to the power of system F in a Simplest way

RSolve. Ask for solutions.

DianaScript-JIT. C#

PySExpr. S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.

JuliaPythonAdaptor.jl. Relocatable Julia-Python bidirectional bridging solution.

simple-pl-example. Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.

Fable.Sedlex. get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!

MatchCore.jl. non-extensible/hardcoded pattern matching, core of MLStyle

goto.py. modern implementation of real goto/label statements in python 3.5+.

Sequent.jl. formally and easily, describe the semantics.

UPL. A compiler for higher rank ML with type classes

cross-editor-syntax-highlighter. cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf

original-posting. Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.

do-you-like-wan-you-si. 脑洞，让自己的生活更美好。

Incantation. Say incantations to enjoy web designing.

Redy. thautwarm utilities.

DianaVM. Diana... 🥳🥳🥳Diana, suki🤤🤤🤤

autojmp. autojump implementation that is applicable to any shell and any OS

HigherKindedPolymorphisms.jl. A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)

vscode-diana. a VSCode plugin to provide basic language support for DianaScript

julia-android-example. Running Julia Code on Android with Flutter (UI) & Rust (Build System) & SyslabCC (Julia AOT Compiler)

plfp. my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice

Site-33. https://thautwarm.github.io/Site-33/

MLBI. ML with Best Instantiations, for arbitrary-rank types.