A strictly-typed programming language
☆29Sep 14, 2020Updated 5 years ago
Alternatives and similar repositories for sand
Users that are interested in sand are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Warshield is a file encryption and decryption CLI using AES 256 algorithm☆36Apr 2, 2026Updated 4 months ago
- face recognition with deep learning☆14Jul 28, 2020Updated 6 years ago
- 🚀 Fast, scalable framework for building Discord applications☆31Jan 9, 2022Updated 4 years ago
- Compiler demo using ANTLR4 and LLVM☆27Aug 13, 2022Updated 4 years ago
- Tree-sitter parser for V☆24Jul 12, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CLI for MyGES☆33Feb 11, 2023Updated 3 years ago
- A programming language.☆13Aug 4, 2025Updated last year
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago
- A static strongly typed object oriented programming language with focus on composition☆23Aug 25, 2020Updated 5 years ago
- The Lily programming language ⚜☆11Updated this week
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Aug 5, 2026Updated last week
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- The Stroscot Programming Language☆12Jul 9, 2026Updated last month
- A small Lisp dialect that serves me as a test bed for programming language features.☆14Sep 16, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The Manse Programming Language☆11Sep 28, 2021Updated 4 years ago
- An experimental programming language for ergonomic software verification☆16Aug 5, 2026Updated last week
- Dynamically typed interpreted programming language written in Rust☆11Feb 3, 2026Updated 6 months ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- A 3D design utility aimed at making the level-design process as easy and mindless as possible.☆13May 14, 2026Updated 3 months ago
- RML language☆10Sep 25, 2020Updated 5 years ago
- Rust-like language compiling directly to WebAssembly☆15Sep 14, 2025Updated 11 months ago
- ☆11Apr 8, 2025Updated last year
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A programming language to make programming easier.☆12May 3, 2026Updated 3 months ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 4 years ago
- Generic programming language and environment written in TypeScript.☆10Jan 6, 2023Updated 3 years ago
- Element is an embeddable minimal functional programming language intended as a data format.☆13Feb 13, 2023Updated 3 years ago
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- The Skull Programming Language 💀☆12Jan 12, 2025Updated last year
- A General-Purpose Programming Language☆10May 22, 2023Updated 3 years ago
- Learn to code with Wipple.☆38Updated this week
- Fegeya Gretea (aka green tea), new generation programming language.☆13Mar 13, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Image Warping for Inverse Problems☆11Nov 30, 2023Updated 2 years ago
- Internet Control Message Protocol in Node☆39Jun 16, 2024Updated 2 years ago
- LLLua. Low Level Lua.☆14Nov 17, 2023Updated 2 years ago
- Xlang Programming Language☆14May 2, 2022Updated 4 years ago
- Cafe- The Programming Language☆22May 8, 2021Updated 5 years ago
- A Java wrapper for Raylib☆14Oct 22, 2018Updated 7 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago