thautwarm's recent timeline updates

thautwarm's repos on GitHub

Python · 116 watchers

diojit

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

Julia · 66 watchers

CanonicalTraits.jl

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

Python · 65 watchers

EBNFParser

Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).

C · 61 watchers

flowpython

tasty feature extensions for python3(NO MAINTENANCE!).

F# · 44 watchers

FSTan

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

Python · 40 watchers

frontend-for-free

end the parsing problem

Python · 40 watchers

graphviz-artist

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

TeX · 25 watchers

gkdhighlight

syntax highligher for GkdTeX

Idris · 24 watchers

idris-cam

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

Python · 24 watchers

idris-python

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

Julia · 22 watchers

DevOnly.jl

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

Julia · 22 watchers

DIO.jl

Julia implementation for Python Restrain JIT

C# · 18 watchers

DianaScript-JIT

Python · 17 watchers

JuliaPythonAdaptor.jl

Relocatable Julia-Python bidirectional bridging solution.

JavaScript · 16 watchers

Fable.Sedlex

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

Python · 13 watchers

cross-editor-syntax-highlighter

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

Python · 13 watchers

goto.py

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

C# · 11 watchers

DianaVM

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

Python · 11 watchers

do-you-like-wan-you-si

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

Python · 11 watchers

Incantation

Say incantations to enjoy web designing.

Python · 10 watchers

autojmp

autojump implementation that is applicable to any shell and any OS

Julia · 10 watchers

HigherKindedPolymorphisms.jl

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

C · 10 watchers

julia-android-example

Running Julia Code on Android with Flutter (UI) & Rust (Build System) & SyslabCC (Julia AOT Compiler)

F# · 8 watchers

FastParse.fs

fast, easy, typed, minimal

Python · 8 watchers

gkd

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

Julia · 8 watchers

JML.jl

A ML dialect based on Julia, for MLStyle examples.

Julia · 4 watchers

dot-parser-example

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

Julia · 3 watchers

AbstractPattern

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

3 watchers

alva

The Mu programming language

Python · 3 watchers

AOP

reliable and efficient python meta-programming for building productivity tools

Python · 3 watchers

bdwgc-build

Build and distribute shared libraries for Boehm-Demers-Weiser conservative C/C++ Garbage Collector. Use Zig for cross compilation.

Julia · 3 watchers

Benchmarkplotting.jl

Benchmark intuitively!

Python · 3 watchers

Dealing-with-Features

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

C# · 3 watchers

DianaScript

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

Python · 3 watchers

formulapy

external tools to type math formulas in Python files.

Julia · 3 watchers

FrontendForFreeParsing.jl

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

Python · 3 watchers

gkdbnf

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

Python · 3 watchers

gkdtex

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

Python · 3 watchers

inline-cache-impl

Implementation of inline cache in Python.

C++ · 2 watchers

CPPCollections

Thautwarm's personal C++ code collections

Python · 2 watchers

fix-author

fix unexpected history missing for git

Julia · 2 watchers

HMRowUnification.jl

Providing HM unification with row polymorphism support

1 watchers

arlas-and-cure

static resources of my light novel

Python · 1 watchers

avlmutable

An AVL implementation exposing tree nodes to users for changing keys in an unsafe way

Python · 1 watchers

bd-shuangpin

make double pinyin great again

Python · 1 watchers

dbg-lang

maybe debug-lang. A declarative dsl for database-orm usage.

C# · 1 watchers

dotnet-bdwgc

Experiments about changing .NET GC to bdwgc

Standard ML · 1 watchers

Dress

好耶是女装

Python · 1 watchers

dssp-wsl

allow windows programs to call dssp/mkdssp command from wsl; rework biopython on windows (PDB -> dssp -> fasta)

C# · 1 watchers

dtschema

Julia · 1 watchers

FlowerQ

One day, one scientific computing algorithm.

Python · 1 watchers

flowlibs

powerful libraries made by flowpython

F# · 1 watchers

fsharp-leetcode

A template that enables submitting F# code to leetcode via Fable and other tools.

F# · 1 watchers

FSharp.AJson

F# Json serialization/deserialization for algebriac data types and nominal records; compatible to Fable's existing backends

Matlab · 1 watchers

FuzzyNetWork

嘛，用matlab写的一个小框架。可以支持模糊网络。这个和之前见过的不一样，我很惊讶反向传播对它居然是有效的。

Python · 1 watchers

gkdtikz

wrapping tikz in gkdtex for simplifying the use of Tikz in a factor of 114514.

C++ · 1 watchers

GraphEngine

Microsoft Graph Engine

1 watchers

JET.jl

scratch: experimental type checker for Julia, no need for additional type annotations

0 watchers

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Julia · 0 watchers

AsmMacro.jl

Elixir · 0 watchers

awesome-elixir

A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

OCaml · 0 watchers

ber-metaocaml

Unofficial git mirror of the BER MetaOCaml patchset.

Python · 0 watchers

BioInfoPlus

A tool framework for bioinformatics written in multiple scientific languages.

Python · 0 watchers

BLiveVote

基于blivedm的直播观众投票器

Python · 0 watchers

bytecode

Python module to modify bytecode

Python · 0 watchers

clang-build

Clang-based cross platform build system written in Python

0 watchers

comf-index

Mirror index for Fable-Python GitHub packages and Python PyPI packages. Inspired by Julia package management.

PowerShell · 0 watchers

config

config files and YadliShell

Python · 0 watchers

cpython

The Python programming language

0 watchers

CSTParser.jl

A concrete syntax tree parser for Julia

0 watchers

Cyberbrain

A Cyberbrain that helps you remember everything.

0 watchers

cython

The most widely used Python to C compiler

PureScript · 0 watchers

diana-unity-templates

Python · 0 watchers

Distributed

An implementaion about universal distributed work in python

0 watchers

doctrans

Transform markdown to rst, and so on. A `smarter` text processing tool than pandoc in some areas.

Python · 0 watchers

ebnfparser-dev-notes

个人演草记录。记录遭遇的bug，解决技术的关键手段，以及心得。

TypeScript · 0 watchers

Emacs

⌨️ Emacs Keymap inside Visual Studio Code.

Julia · 0 watchers

Expronicon.jl

Collective tools for metaprogramming on Julia Expr

0 watchers

Fable

F# to JavaScript Compiler

0 watchers

Fable.Formatting.Markdown

Port of FSharp.Formatting.Markdown for Fable

0 watchers

Fable.Python

Python bindings for Fable

0 watchers

Fable.SimpleXml

A library for easily parsing and working with XML in Fable projects

0 watchers

find_libpython

Finds the libpython associated with the current Python environment, wherever it may be hiding.

0 watchers

FromPython.jl

F# · 0 watchers

FsLexYacc

Lexer and parser generators for F#

F# · 0 watchers

fvim

Cross platform Neovim front-end UI, built with F# + Avalonia

Julia · 0 watchers

General

The official registry of general Julia packages

PowerShell · 0 watchers

get-idris

Setting up an Idris dev environment on Windows

0 watchers

hapi

App for Claude Code / Codex / Gemini / OpenCode, vibe coding anytime, anywhere

0 watchers

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

0 watchers

HMCMT2D

The code developed in this study is open source and can be publicly available at https://github.com/CUG-EMI/HMCMT2D under the GNU General Public License v3.0.

Haskell · 0 watchers

Idris-dev

A Dependently Typed Functional Programming Language

0 watchers

Idris2

A dependently typed programming language, a successor to Idris

Haskell · 0 watchers

impurescript-diana

a fork of purescript-python; use purescript frontend and its IDE for diana script and unity game engine

Python · 0 watchers

inc_demo

demo for incantation