Pinned Repositories
julia
The Julia Programming Language
GraphEngine
Microsoft Graph Engine
purescript-python
A Python backend for PureScript.
cpython
The Python programming language
CanonicalTraits.jl
Full-featured traits in Julia. Without full features how dare I say this?
diojit
Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
moshmosh
An amazing syntax extension system in pure Python, the way to coding efficiency.
Quick-Backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
restrain-jit
The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)
thautwarm's Repositories
thautwarm/diojit
Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.
thautwarm/DIO.jl
Julia implementation for Python Restrain JIT
thautwarm/gkdhighlight
syntax highligher for GkdTeX
thautwarm/MLFS.jl
MLFS type system: raising ML to the power of system F in a Simplest way
thautwarm/Sequent.jl
formally and easily, describe the semantics.
thautwarm/UPL
A compiler for higher rank ML with type classes
thautwarm/goto.py
modern implementation of real goto/label statements in python 3.5+.
thautwarm/do-you-like-wan-you-si
脑洞，让自己的生活更美好。
thautwarm/gkd
build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.
thautwarm/Metagen
Dependently type-safe code generator .
thautwarm/MLBI
ML with Best Instantiations, for arbitrary-rank types.
thautwarm/rbnf-rts
Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.
thautwarm/SequentExamples.jl
thautwarm/schema-provider.py
thautwarm/alva
The Mu programming language
thautwarm/gkdbnf
convert bnf files, to LaTex notations, supporting multiple LaTex BNF packages as back ends
thautwarm/gkdtex
A programmable, TeX-compatible and 2-stage typesetting language.
thautwarm/inline-cache-impl
Implementation of inline cache in Python.
thautwarm/latmap
Ideas of convenient editor development.
thautwarm/CPPCollections
Thautwarm's personal C++ code collections
thautwarm/HMRowUnification.jl
Providing HM unification with row polymorphism support
thautwarm/avlmutable
An AVL implementation exposing tree nodes to users for changing keys in an unsafe way
thautwarm/fsharp-leetcode
A template that enables submitting F# code to leetcode via Fable and other tools.
thautwarm/gkdtikz
wrapping tikz in gkdtex for simplifying the use of Tikz in a factor of 114514.
thautwarm/JET.jl
scratch: experimental type checker for Julia, no need for additional type annotations
thautwarm/Slides
thautwarm/find_libpython
Finds the libpython associated with the current Python environment, wherever it may be hiding.
thautwarm/FsLexYacc
Lexer and parser generators for F#
thautwarm/General
The official registry of general Julia packages
thautwarm/RuntimeGeneratedFunctions.jl
Functions generated at runtime without world-age issues or overhead