Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A Python Interpreter written in Rust
- rust
- python3
- python-language
- jit
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A fast type checker and language server for Python
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
A fast, feature-rich static code analyzer & language server for Python
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
lints and suggestions for the nix programming language
A graphql query language and schema definition language parser and formatter for rust
- rust
- graphql-query-language
- graphql
- schema
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Turn any website into clean, structured data: Markdown, metadata and links from one page or a whole site, in every major language.
- crawling
- csharp
- elixir
- ffi
An esoteric programming language built to break LLMs and coding agents.
A package manager for the Luau programming language, supporting multiple runtimes including Roblox and Lune
- package-manager
- roblox
- luau
- lune
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language