Search

A dialect of Lisp that's embedded in Python

jank is the native Clojure dialect with seamless C++ interop.

A validating SQL lexer and parser with a focus on MySQL dialect.

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

A Clojure-compatible(-ish) Lisp dialect hosted on Python 3 with seamless Python interop

The compiler for Teal, a typed dialect of Lua

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

A Lisp dialect written in Zig

Light-weight ClojureScript dialect

A timeseries database created for events, logs, traces and metrics. Speaks the postgres dialect, and stores data in s3 via delta lake protocol

FireRedTTS3: Multilingual and Multi-Dialect Voice Cloning with Instruction-Guided Voice Design and Speech Editing