Thautwarm’s Open Source Contributions¶
This is a collection of thautwarm(Taine Zhao/Wanghongxuan Zhao)’s open source contributions, but might not be that new.
Projects Owned By Other Individuals/Organizations¶
fix calculating the stack effects: https://github.com/vstinner/bytecode/pull/43
support more wide kinds of constants for
LOAD_CONSTinstruction : https://github.com/vstinner/bytecode/pull/36
figure out a new mechanism to simplify and enhance constant indexing for Python bytecode: https://github.com/vstinner/bytecode/pull/54
support large scale basic blocks/compiling codes with large control flow graphs: https://github.com/vstinner/bytecode/pull/58
a library for portable type inference: https://github.com/ocaml/opam-repository/pull/15463
good at detecting bugs: https://github.com/JuliaLang/julia/issues/created_by/thautwarm
as a maintainer. The Python to Julia transpiler.
lectures of my talk in the 2019 meetup: https://github.com/JuliaCN/MeetUpMaterials/pull/20
as a previous member and contributed a lot: https://github.com/Microsoft/GraphEngine/pulls/thautwarm
as a collaborator: https://github.com/cscherrer/Soss.jl
- GiggleLiu/NiLangCore.jl, GiggleLiu/nilangpaper
as a collaborator for these academic projects
add an API for switching REPL modes: https://github.com/MasonProtter/ReplMaker.jl/pull/6
refactor codebase through pattern matching: https://github.com/YingboMa/AsmMacro.jl/pull/4
as a maintainer. A parser of QASM and a QASM compiler targeting QBIR.
improve Haskell help docs: https://github.com/ustclug/mirrorhelp/pull/130
fix unrunnable codes of README: https://github.com/alexandrebarachant/muse-lsl/pull/85
- PureScript Python
A Python backend for PureScript.
Solve the problem for anyone who wants to write static Python with most advanced type system.
i.e., write Haskell, run in Python.
MLStyle.jl A library provides advanced functional programming infrastructures(like, extensible pattern matching) for Julia.
- Yet Another Python Python
Implement Python in Python to achieve wonderful language extensibility and compatibility.
Other Notable Personal Projects¶
- GeneralizedGenerated.jl: A library greatly enhances staged programming of Julia
A language-independent parser generator.
Actually an advance based on the LL(k) parsing, but equipped with several extensions like
left recursion resolutions(yes, for LL parsing),
grammar inlining(without causing reduction conflicts),
more advanced syntax-driven features,
*(under research, unstable)context-sensitive stuffs like predicates according to global/local contexts,
lookahead optimizations based on decision trees.
Additionally, the time complexity can regress to linear without using context-sensitive stuffs.
Modular compiler utility/Build Python bytecode with s-expression abstract syntax.
A F# library providing a more usable light-weighted higher-kinded types.
A Haskell library providing easy-to-use monadic interfaces for constraint solvers, bundled with examples like HM unifications.
- Sijuiacion Language
Modular compiler utility/An assembly language for CPython Virtual Machine.
Modular compiler utility/portable framework to support customized precedences and associativities for binary operators
A Python library providing easy-to-use and intuitive OOP interfaces for constraint solvers, bundled with examples like HM unifications.
- Idris Quick Backend
The ultimate back end maker for Idris1, for making code generation back end in 15 minutes with high extensibility and reusability.
A more available JIT compilation for CPython.
The Python syntax extensions, bundled with the fastest implementation of pattern matching in Python world.
According to the benchmark, the pattern matching is at least 4 times faster than that from the Pampy project.
Besides, unlike Pampy, moshmosh won’t introduce lots of APIs or lead to a steep learning curve.
Automatically playing Fate/Grand Order.
Real traits/typeclasses implemented in Julia. With support of functional dependencies and default implementations.
Higher kinded types for Julia(light-weighted higher-kinded polymorphisms).
- muridesu language
To argue with guys who doesn’t respect PL/Compiler people, I made this pretty complete programming language within 3.5 hours.
Generating code for rendering beautiful BNF for latex writing, with multiple backend support.
One script implementation for sufficiently powerful, simplest, and elegant Python CLI, to distribute a Python function as a command.
A library provides a higher level APIs for Graphviz in Python
An ML-like language(untyped) to DrRacket.
For more open source contributions, check my GitHub profile.