betaveros / noulithLinks
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
☆1,148Updated 8 months ago
Alternatives and similar repositories for noulith
Users that are interested in noulith are comparing it to the libraries listed below
Sorting:
- actually publishing my solutions now that they're not redundant...☆210Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,324Updated 3 weeks ago
- A stack-based array programming language☆1,816Updated this week
- ☆1,010Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- Koka language compiler and interpreter☆3,507Updated last week
- Welcome to the future of programming languages: OK?☆565Updated last month
- Algebraic data types for C99☆1,415Updated 2 months ago
- A safe, easy systems language☆2,057Updated this week
- A programming language that's wise beyond its bytes!🌱🌿🪴☆508Updated 2 months ago
- Data interchange with algebraic data types.☆617Updated 2 weeks ago
- PLDB: a Programming Language DataBase☆765Updated 2 weeks ago
- Compiler for the Vale programming language - http://vale.dev/☆1,891Updated last year
- A small extensible programming language designed for concise expression with little code.☆1,076Updated 8 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆509Updated 3 months ago
- A highly experimental vi-inspired editor where you edit code, not text.☆744Updated 3 months ago
- Performance Optimizer Observation Platform☆1,347Updated 6 months ago
- A document language for the browser☆707Updated 10 months ago
- An APL-like programming language☆962Updated this week
- Language tooling for the Lox programming language.☆309Updated 3 months ago
- ☆796Updated last year
- A functional, content-addressable programming language.☆431Updated 3 weeks ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆848Updated 2 months ago
- Simple expression transformer that is not Coq.☆259Updated last year
- A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.☆1,632Updated 2 years ago
- a language trying to be flexible about expression, but strict about state☆559Updated 3 weeks ago
- an experimental new programming language based on interaction nets☆265Updated last week
- Chess but no grid☆451Updated last year