There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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
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.jlDianaScript-JIT
RSolve
Ask for solutions.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+.vscode-diana
a VSCode plugin to provide basic language support for DianaScriptIncantation
Say incantations to enjoy web designing.do-you-like-wan-you-si
脑洞,让自己的生活更美好。DianaVM
Diana... 🥳🥳🥳Diana, suki🤤🤤🤤Redy
thautwarm utilities.autojmp
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.plfp
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and PracticeHigherKindedPolymorphisms.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.FastParse.fs
fast, easy, typed, minimalgkd
build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.The-Algorithms-in-Numerical-Analysis-with-Python-Implementation
教学轮-数学运算库JML.jl
A ML dialect based on Julia, for MLStyle examples.simplenote
a programming language to encode numbered musical notations. I run this in the virtual conference of PPL 2022..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
dot-parser-example
Implementing a parser for the dot language in Julia, using our new parser generator.NumScala
fOr data analysis with Scala.typed-bnf-csharp-demo
A json parser implemented by typed-bnf and generated to Antlr4-CSharp.julia-android-example
Running Julia Code on Android with Flutter (UI) & Rust (Build System) & SyslabCC (Julia AOT Compiler)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
SquirrelLanguage
此坑已久,代码很丑。以记过往,不宜奉读。AOP
reliable and efficient python meta-programming for building productivity toolsFrontendForFreeParsing.jl
A wrapper of https://github.com/thautwarm/frontend-for-freealva
The Mu programming languageformulapy
external tools to type math formulas in Python files.Recognition
开心~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.gkdtex
A programmable, TeX-compatible and 2-stage typesetting language.voicecontrol
thorough voice-control for emacs-like editorsHMRowUnification.jl
Providing HM unification with row polymorphism supportDealing-with-Features
在数据挖掘实战中锻炼处理实际数据特征的能力scoping-resolver
Resolve python's scopes for compiler usagethautwarm
inline-cache-impl
Implementation of inline cache in Python.pykg
A generic dependency solver; designed as a proposal Fable-Python package manager.voice-typing-editor
voice-typing-editor via existing input methodslua-parser-lark
pretty-doc
composable text objects.Love Open Source and this site? Check out how you can help us