A text-based work management system for technologists.

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

Finite state machine framework for Rust with readable specifications

Proc-macro typestate DSL for Rust

Rethinking Protocols

A web crawling programming language

Fklang 是一个面向软件开发工业化的架构设计 DSL，通过显性化软件架构设计，以确保软件系统描述与实现的一致性。并在工作流中，内嵌对于 AI 代码生成软件的支持，以构筑完整的开发者体验。

A language for designing slides

The programming language for calendars

ODE solver library in Rust

Mégra is a mini-language to make music with variable-order markov chains and some other stochastic shenanigans.

Generate SPIR-V bytecode from an operation graph

A macro for defining type operators in Rust.

Rust frontend to LuisaCompute and more!

RayQL is a schema definition and query language for SQLite

A Rust logic programming library inspired by the *Kanren family of language DSLs.

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

comvert bool expression to elasticsearch DSL in rust

Logic programming, for Rust, from inside Rust.