Beautiful diagnostic reporting for text-based programming languages.
-
Updated
Jul 9, 2024 - Rust
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output. Programming languages generally consist of instructions for computers. There are many programming languages in existence, and each has at least one implementation, each of which consists of its own set of programming tools. Some programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use the declarative form (i.e. the desired result is specified, not how to achieve it).
Beautiful diagnostic reporting for text-based programming languages.
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven development and simplicity.
Automagical variable binding library for Rust
Benchmarking different languages for a simple bioinformatics task (Counting the GC fraction of DNA in a FASTA file)
Programming language with a tree-walking interpreter written in Rust©™.
integration of `rep_lang` and Holochain
a language for Cultural Articulation
The wright programming language (WIP)
Simple and fast Dynamic Modular Structure-based AI, GUI, Cross-Platform Programming Language
The Iron programming language
compile rust-like source code to x86 assembly
Mindustry logic extension language, for zero additional overhead!
rust edition
an imperative and compiled programming language designed to be developer friendly
The Air programming language is carefully designed to solve programming problems once and for all.
A Simplistic Programming Language That Targets the LLVM.
A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.
A procedural 2D and 3D scene definition language with integrated scripting and shaders.
Neo Typed Lambda Calculus