ParaN3xus/fla
formal language and automata
Repositories
ParaN3xus/penguin-harness
π§ Harness for RSI. Let AI Build AI. Multi-Agent Auto-Dev Platform. Everything is Transparent.
ParaN3xus/typress
Typst Mathematical Expression OCR
ParaN3xus/tyraria
Recreate the online editing experience of typst.app based on tinymist and typst.ts
ParaN3xus/udon-decompiler
The Udon Decompiler
ParaN3xus/eclipse.jdt.core
ParaN3xus/tex2typ
LaTeX math equations to Typst equations conversion.
ParaN3xus/haobook
A Typst book template inspired by kaobook
ParaN3xus/phira_ipa
ipa file of phira
ParaN3xus/fish-exclamation-mark-bot
ParaN3xus/OmniReply
General Hyper Text Message Response Model
ParaN3xus/ClashProxiesExtractor
Extract and combine proxies from several subscription url.
ParaN3xus/typstyle
Beautiful and reliable typst code formatter
ParaN3xus/typst.ts
Run Typst in JavaScriptWorld.
ParaN3xus/tinymist
Tinymist [ΛtaΙͺni mΙͺst] is an integrated language service for Typst [taΙͺpst].
ParaN3xus/typst
A new markup-based typesetting system that is powerful and easy to learn.
ParaN3xus/worker-sidecar
ParaN3xus/digestify
A blazing fast cryptographic hash package for Typst, powered by WebAssembly.
ParaN3xus/jupytypst
ParaN3xus/VHDL-QQS
VS Code extension for Intel Quartus: seamless project compilation, direct access to the Quartus programmer and RTL viewer, automated testbench generation for QuestaSim, integrated QuestaSim simulation, streamlined project configuration, direct file management, top-level entity changes, and on-demand source file formatting.
ParaN3xus/typst-xcc-wrapper
ParaN3xus/mcp-language-server
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
ParaN3xus/blog-posts
ParaN3xus/blog
ParaN3xus's Blog
ParaN3xus/black-content-publisher
Publish your vrchat content in a more efficient and black way
ParaN3xus/litman
Data Structure Course Project: Lit(erature) Man(agement) (System).
ParaN3xus/AssetsTools.NET
Read and write unity assets/bundle files, based on https://github.com/SeriousCache/UABE
ParaN3xus/UABEANext
A research and modding tool for SerializedFiles and Asset Bundles
ParaN3xus/derper-node-key-verifier
A lightweight admission controller service for Tailscale `derper` client verification.