=========================================== 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 ------------------------------------------------------ - `Python/cpython `_ - better representation for :code:`mmap` : https://github.com/python/cpython/pull/9891 - :code:`dis` documentation update: https://github.com/python/cpython/pull/18550 - `Python/typeshed `_ - correct typing for the AST :code:`ImportFrom` : https://github.com/python/typeshed/pull/2517 - `vstinner/bytecode `_ - fix calculating the stack effects: https://github.com/vstinner/bytecode/pull/43 - support more wide kinds of constants for :code:`LOAD_CONST` instruction : 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 - `ocaml/opam-repository `_ - a library for portable type inference: https://github.com/ocaml/opam-repository/pull/15463 - `JuliaLang/Julia `_ - good at detecting bugs: https://github.com/JuliaLang/julia/issues/created_by/thautwarm - `JuliaCN/Py2Jl.jl `_ - as a maintainer. The Python to Julia transpiler. - `JuliaCN/MeetUpMaterials `_ - lectures of my talk in the 2019 meetup: https://github.com/JuliaCN/MeetUpMaterials/pull/20 - Microsoft/GraphEngine - as a previous member and contributed a lot: https://github.com/Microsoft/GraphEngine/pulls/thautwarm - cscherrer/Soss.jl - as a collaborator: https://github.com/cscherrer/Soss.jl - `GiggleLiu/NiLangCore.jl, GiggleLiu/nilangpaper `_ - as a collaborator for these academic projects - MasonProtter/ReplMaker.jl - add an API for switching REPL modes: https://github.com/MasonProtter/ReplMaker.jl/pull/6 - YingboMa/AsmMacro.jl - refactor codebase through pattern matching: https://github.com/YingboMa/AsmMacro.jl/pull/4 - `QuantumBFS/YaoQASM.jl `_ - as a maintainer. A parser of QASM and a QASM compiler targeting QBIR. - f0rki/mapping-high-level-constructs-to-llvm-ir - documentations: https://github.com/f0rki/mapping-high-level-constructs-to-llvm-ir/pull/19 - ustclug/mirrorhelp - improve Haskell help docs: https://github.com/ustclug/mirrorhelp/pull/130 - rocky/python-uncompyle6 - find bugs: https://github.com/rocky/python-uncompyle6/issues/created_by/thautwarm - alexandrebarachant/muse-lsl - fix unrunnable codes of README: https://github.com/alexandrebarachant/muse-lsl/pull/85 Leading Projects ------------------------------------------ - `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**. Can use **all libraries from Python world**, and **all libraries from PureScript world** not relying on JavaScript only(like true threads) language features. - `MLStyle.jl `_ A library provides **advanced functional programming** infrastructures(like, extensible pattern matching) for Julia. - `Yet Another Python Python `_ Suspended now. 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 - https://github.com/thautwarm/GeneralizedGenerated.jl - `RBNF.hs `_ 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. - `PySExpr `_ Modular compiler utility/Build Python bytecode with s-expression abstract syntax. - `FSTan `_ A F# library providing a more usable light-weighted higher-kinded types. - `RSolve.hs `_ 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. - `Remu-operator `_ Modular compiler utility/portable framework to support customized precedences and associativities for binary operators - `RSolve.py `_ A Python library providing easy-to-use and intuitive OOP interfaces for constraint solvers, bundled with examples like HM unifications. - `Idris-Cam `_ An abstract codegen backend for Idris programming language, bundled with backend implementations in Python and Julia. The Python implementation: https://github.com/thautwarm/idris-python. - `Idris Quick Backend `_ The ultimate back end maker for Idris1, for making code generation back end in 15 minutes with high extensibility and reusability. - `restrain-jit `_ A more available JIT compilation for CPython. - `moshmosh `_ 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. - `do-you-like-wan-you-si `_ Automatically playing Fate/Grand Order. - `CanonicalTraits.jl `_ Real traits/typeclasses implemented in Julia. With support of functional dependencies and default implementations. - `HigherKindedPolymorphisms.jl `_ 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. - `paperbnf `_ Generating code for rendering beautiful BNF for latex writing, with multiple backend support. - `wisepy2 `_ One script implementation for sufficiently powerful, simplest, and elegant Python CLI, to distribute a Python function as a command. - `graphviz-artist `_ A library provides a higher level APIs for Graphviz in Python - `ml2scheme `_ An ML-like language(untyped) to DrRacket. For more open source contributions, check my GitHub profile.