Lists (1)
Stars
Taipei is a statically-typed, zero-overhead, minimalist subset of Python that compiles to LLVM. I wanted the name "typy" but that was already taken.
A compiled systems programming language written in Go using the LLVM framework
ArkScript is a small, fast, functional and scripting language for C++ projects
A superset of Lua 5.4 with a focus on general-purpose programming.
Blaze compiler - translates Blaze language to x86-64 machine code with no dependencies
My custom language called Sapphire. It is made for speed, and it focuses on giving you a complete ecossystem, with no need to install third-party tolos, for example. It comes with a native UI syste…
ThyLang is a interpreted programming language inspired by Shakespearean/old English. This language allows you to code in a way that feels poetic, ancient, and deep.
A curated list of awesome MATLAB toolboxes, applications, software and resources.
A visual scripting system for Unity ECS. Quickly create gameplay logic.
Lean 4 programming language and theorem prover
A compile-to-Golang programming language designed to alleviate some of Go's design choices 👾
Modern low level programming language designed for kernel development
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dat…
A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
Pilot course for Robotics 101: Computational Linear Algebra
a language trying to be flexible about expression, but strict about state
The Online ROS2-Based Gaussian Splatting-Enabled Visualizer