MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilitiesdiojit
Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.moshmosh
An amazing syntax extension system in pure Python, the way to coding efficiency.restrain-jit
The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)flowpython
tasty feature extensions for python3(NO MAINTENANCE!).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.CanonicalTraits.jl
Full-featured traits in Julia. Without full features how dare I say this?Traffy.UnityPython
An efficient Python implementation in C#, running on every platform via Unity IL2CPP.FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so longRBNF.jl
A DSL for modern parsingRBNF
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.frontend-for-free
end the parsing problemVirtual.jl
graphviz-artist
A chance to focus on graph drawing itself, forget APIs and other stuffs.idris-python
Successor project: https://github.com/thautwarm/Quick-Backendidris-cam
Sucessor: https://github.com/thautwarm/Quick-BackendRem
(Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.DIO.jl
Julia implementation for Python Restrain JITLLAST
A high level LLVM IR AST provider for GraphEngine JIT.Quick-Backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/mastergkdhighlight
syntax highligher for GkdTeXPrettyPrint.jl
pretty print that makes senseDevOnly.jl
Using runtime-free macro packages as dev-only dependencies.MLStyle-Playground
Examples for MLStyle.jlRSolve
Ask for solutions.DianaScript-JIT
MLFS.jl
MLFS type system: raising ML to the power of system F in a Simplest wayJuliaPythonAdaptor.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.PySExpr
S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.MatchCore.jl
non-extensible/hardcoded pattern matching, core of MLStyleFable.Sedlex
get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!cross-editor-syntax-highlighter
cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnfSequent.jl
formally and easily, describe the semantics.UPL
A compiler for higher rank ML with type classesgoto.py
modern implementation of real goto/label statements in python 3.5+.do-you-like-wan-you-si
脑洞,让自己的生活更美好。Incantation
Say incantations to enjoy web designing.vscode-diana
a VSCode plugin to provide basic language support for DianaScriptDianaVM
Diana... 🥳🥳🥳Diana, suki🤤🤤🤤Redy
thautwarm utilities.plfp
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practiceautojmp
autojump implementation that is applicable to any shell and any OSreley
haskell-like compiled language based on Python VMoriginal-posting
Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.HigherKindedPolymorphisms.jl
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)ParameterisedModule.jl
Full featured parameterised ML-modules in JuliaSite-32
thautwarm's blog page.rmalt
the malt language implemented by rbnf. https://github.com/malt-project/cmaltMetagen
Dependently type-safe code generator .ml-to-scheme
Allow using ML to teach courses that're usually given in LISPsRBNF.hs
Cross-language context-sensitive parsing with type inference, left recursion resolutions and decision tree optimizations.Site-33
https://thautwarm.github.io/Site-33/MLBI
ML with Best Instantiations, for arbitrary-rank types.gkd
build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.FastParse.fs
fast, easy, typed, minimalThe-Algorithms-in-Numerical-Analysis-with-Python-Implementation
教学轮-数学运算库simplenote
a programming language to encode numbered musical notations. I run this in the virtual conference of PPL 2022..JML.jl
A ML dialect based on Julia, for MLStyle examples.paper-implementation
I.have(a_cat).then( _.cat.play_with)LanguageCollections
programming languages invented/implemented by myself.Ruiko.fs
context sensitive grammar + parser combinator + .NETSequentExamples.jl
PrettyDoc.jl
An easy-to-use and lightweight text layout combinator library, serving high-quality pretty printing, text code generation, etc.rbnf-rts
Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.lua-parser.cs
An out-of-box Lua parser, by antlr4, in csharp.Sedlex.jl
Julia runtime support Fable Sedlexschema-provider.py
typed-jsonrpc
NumScala
fOr data analysis with Scala.typed-bnf-csharp-demo
A json parser implemented by typed-bnf and generated to Antlr4-CSharp.dot-parser-example
Implementing a parser for the dot language in Julia, using our new parser generator.rbnfrbnf
Deprecated. See https://github.com/thautwarm/rbnf-rtsNLPWorks
I offered quite a lot with coding and algorithms to some private project, and I share the public parts here to log my life.rsolve.py
For constraint satisfaction problems in Pythonpanpanneed
Your local cloud drive implemented in one-liner code.Benchmarkplotting.jl
Benchmark intuitively!DianaScript
check https://github.com/thautwarm/DianaScript-JITscripts
AOP
reliable and efficient python meta-programming for building productivity toolsSquirrelLanguage
此坑已久,代码很丑。以记过往,不宜奉读。gkdtex
A programmable, TeX-compatible and 2-stage typesetting language.FrontendForFreeParsing.jl
A wrapper of https://github.com/thautwarm/frontend-for-freealva
The Mu programming languageRecognition
开心~formulapy
external tools to type math formulas in Python files.AbstractPattern
optimize pattern matching compilation and separate front-end syntatic constructs from semanticsgkdbnf
convert bnf files, to LaTex notations, supporting multiple LaTex BNF packages as back endslatmap
Ideas of convenient editor development.voicecontrol
thorough voice-control for emacs-like editorsHMRowUnification.jl
Providing HM unification with row polymorphism supportpykg
A generic dependency solver; designed as a proposal Fable-Python package manager.Dealing-with-Features
在数据挖掘实战中锻炼处理实际数据特征的能力scoping-resolver
Resolve python's scopes for compiler usagethautwarm
inline-cache-impl
Implementation of inline cache in Python.lua-parser-lark
pretty-doc
composable text objects.merlin
The programming language to indicate an elegant way to use python vm. It's a static strongly typed language which is readable and trait-oriented with simple dependent types.Love Open Source and this site? Check out how you can help us