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/restrain-jit
The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)
thautwarm/idris-cam
Sucessor: https://github.com/thautwarm/Quick-Backend
thautwarm/Quick-Backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
thautwarm/PySExpr
S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
thautwarm/ParameterisedModule.jl
Full featured parameterised ML-modules in Julia
thautwarm/plfp
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
thautwarm/ml-to-scheme
Allow using ML to teach courses that're usually given in LISPs
thautwarm/RBNF.hs
Cross-language context-sensitive parsing with type inference, left recursion resolutions and decision tree optimizations.
thautwarm/AbstractPattern
optimize pattern matching compilation and separate front-end syntatic constructs from semantics
thautwarm/AOP
reliable and efficient python meta-programming for building productivity tools
thautwarm/Benchmarkplotting.jl
Benchmark intuitively!
thautwarm/resume
:space_invader: My resume / 我的简历
thautwarm/arlas-and-cure
static resources of my light novel
thautwarm/UsefulModes.jl
some useful modes
thautwarm/AsmMacro.jl
thautwarm/bytecode
Python module to modify bytecode
thautwarm/cpython
The Python programming language
thautwarm/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
thautwarm/index-thautwarm
I have too many repos, so I make an index for them, to allow a fast preview of my interets.
thautwarm/linkage
easy-to-use wrapper for OCaml's Dynlink
thautwarm/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
thautwarm/package-sets
PureScript packages for Psc-Package and Spago
thautwarm/patma
Pattern Matching
thautwarm/pspy-ffi-index-test
A test mirror for purescript python
thautwarm/purescript
A strongly-typed language that compiles to JavaScript
thautwarm/purescript-cyberbrain
python bytecode runtime tracker
thautwarm/purescript-tailrec
A type class which captures stack-safe monadic tail recursion
thautwarm/pyjulia
python interface to julia
thautwarm/rushell
mirror for rushell
thautwarm/static-resources
keep all static files in one repo