Discover thautwarm/gkdtex Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Python
License
MIT License
Created almost 4 years ago
Updated almost 4 years ago

thautwarm

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A programmable, TeX-compatible and 2-stage typesetting language.

MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

Julia

404

diojit

Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.

Python

116

moshmosh

An amazing syntax extension system in pure Python, the way to coding efficiency.

Python

108

restrain-jit

The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)

Python

107

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).

Python

Typed-BNF

Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.

TypeScript

CanonicalTraits.jl

Full-featured traits in Julia. Without full features how dare I say this?

Julia

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 long

RBNF.jl

A DSL for modern parsing

Julia

RBNF

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.

Python

frontend-for-free

end the parsing problem

Python

Virtual.jl

Julia

graphviz-artist

A chance to focus on graph drawing itself, forget APIs and other stuffs.

Python

idris-python

Successor project: https://github.com/thautwarm/Quick-Backend

Python

idris-cam

Sucessor: https://github.com/thautwarm/Quick-Backend

Idris

Rem

(Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.

Python

DIO.jl

Julia implementation for Python Restrain JIT

Julia

LLAST

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/master

TeX

gkdhighlight

syntax highligher for GkdTeX

TeX

PrettyPrint.jl

pretty print that makes sense

Julia

DevOnly.jl

Using runtime-free macro packages as dev-only dependencies.

Julia

MLStyle-Playground

Examples for MLStyle.jl

Julia

DianaScript-JIT

RSolve

Ask for solutions.

Haskell

MLFS.jl

MLFS type system: raising ML to the power of system F in a Simplest way

Python

JuliaPythonAdaptor.jl

Relocatable Julia-Python bidirectional bridging solution.

Python

simple-pl-example

Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.

Python

PySExpr

S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.

Python

MatchCore.jl

non-extensible/hardcoded pattern matching, core of MLStyle

Julia

Fable.Sedlex

get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!

JavaScript

cross-editor-syntax-highlighter

cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf

Python

Sequent.jl

formally and easily, describe the semantics.

Julia

UPL

A compiler for higher rank ML with type classes

goto.py

modern implementation of real goto/label statements in python 3.5+.

Python

vscode-diana

a VSCode plugin to provide basic language support for DianaScript

ANTLR

Incantation

Say incantations to enjoy web designing.

Python

do-you-like-wan-you-si

脑洞，让自己的生活更美好。

Python

DianaVM

Diana... 🥳🥳🥳Diana, suki🤤🤤🤤

Redy

thautwarm utilities.

Python

autojmp

autojump implementation that is applicable to any shell and any OS

Python

reley

haskell-like compiled language based on Python VM

Python

original-posting

Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.

Python

plfp

my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice

OCaml

HigherKindedPolymorphisms.jl

A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)

Julia

ParameterisedModule.jl

Full featured parameterised ML-modules in Julia

Julia

Site-32

thautwarm's blog page.

HTML

rmalt

the malt language implemented by rbnf. https://github.com/malt-project/cmalt

Python

Metagen

Dependently type-safe code generator .

Haskell

ml-to-scheme

Allow using ML to teach courses that're usually given in LISPs

Python

RBNF.hs

Cross-language context-sensitive parsing with type inference, left recursion resolutions and decision tree optimizations.

Haskell

Site-33

https://thautwarm.github.io/Site-33/

Python

MLBI

ML with Best Instantiations, for arbitrary-rank types.

FastParse.fs

fast, easy, typed, minimal

gkd

build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.

Python

The-Algorithms-in-Numerical-Analysis-with-Python-Implementation

教学轮-数学运算库

Python

JML.jl

A ML dialect based on Julia, for MLStyle examples.

Julia

simplenote

a programming language to encode numbered musical notations. I run this in the virtual conference of PPL 2022..

Python

paper-implementation

I.have(a_cat).then( _.cat.play_with)

Python

LanguageCollections

programming languages invented/implemented by myself.

Ruiko.fs

context sensitive grammar + parser combinator + .NET

SequentExamples.jl

Julia

PrettyDoc.jl

An easy-to-use and lightweight text layout combinator library, serving high-quality pretty printing, text code generation, etc.

Julia

rbnf-rts

Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.

Python

lua-parser.cs

An out-of-box Lua parser, by antlr4, in csharp.

Sedlex.jl

Julia runtime support Fable Sedlex

Julia

schema-provider.py

Python

typed-jsonrpc

Python

dot-parser-example

Implementing a parser for the dot language in Julia, using our new parser generator.

Julia

NumScala

fOr data analysis with Scala.

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-rts

Python

NLPWorks

I offered quite a lot with coding and algorithms to some private project, and I share the public parts here to log my life.

Python

rsolve.py

For constraint satisfaction problems in Python

Python

panpanneed

Your local cloud drive implemented in one-liner code.

Python

Benchmarkplotting.jl

Benchmark intuitively!

Julia

DianaScript

check https://github.com/thautwarm/DianaScript-JIT

scripts

Jupyter Notebook

SquirrelLanguage

此坑已久，代码很丑。以记过往，不宜奉读。

Python

AOP

reliable and efficient python meta-programming for building productivity tools

Python

FrontendForFreeParsing.jl

A wrapper of https://github.com/thautwarm/frontend-for-free

Julia

alva

The Mu programming language

formulapy

external tools to type math formulas in Python files.

Python

Recognition

开心~

Python

AbstractPattern

optimize pattern matching compilation and separate front-end syntatic constructs from semantics

Julia

gkdbnf

convert bnf files, to LaTex notations, supporting multiple LaTex BNF packages as back ends

Python

latmap

Ideas of convenient editor development.

Python

voicecontrol

thorough voice-control for emacs-like editors

Python

HMRowUnification.jl

Providing HM unification with row polymorphism support

Julia

Dealing-with-Features

在数据挖掘实战中锻炼处理实际数据特征的能力

Python

scoping-resolver

Resolve python's scopes for compiler usage

Python

thautwarm

inline-cache-impl

Implementation of inline cache in Python.

Python

pykg

A generic dependency solver; designed as a proposal Fable-Python package manager.

PowerShell

voice-typing-editor

voice-typing-editor via existing input methods

Python

lua-parser-lark

Python

100

pretty-doc

composable text objects.

Python

thautwarm/gkdtex

thautwarm

Reviews

Repository Details

More Repositories