keyboardDrummer / typeless
Typeless: the benefits of TypeScript, without the types
☆19Updated last year
Alternatives and similar repositories for typeless:
Users that are interested in typeless are comparing it to the libraries listed below
- Definition for Pineapple language and its compiler☆25Updated 6 years ago
- Type Inference Library written in TypeScript☆93Updated last year
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- A simple little programming language that could one day compile to JavaScript☆22Updated 3 months ago
- A high-level programming language☆39Updated 3 months ago
- L42 main project☆27Updated 5 months ago
- The compiler for the Z programming language - a procedural and functional language that transpiles to JavaScript. It integrates syntactic…☆55Updated 2 years ago
- A toy programming language.☆40Updated last year
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- 🧀 A delicious programming language☆36Updated 2 years ago
- Curly programming language☆18Updated 4 years ago
- Bootstrap compiler for Firefly☆53Updated this week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆29Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 2 years ago
- A C library for displaying informative, clean and readable errors☆25Updated last year
- A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.☆9Updated 2 years ago
- calc= is a small concatenative programming language for doing math in chats.☆13Updated 2 years ago
- Stack-based, multi-paradigm language with an emphasis on metaprogramming.☆23Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Bee LanguageUpdated 5 months ago
- A website for the #proglangdesign community on freenode☆108Updated last month
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Jacy programming language☆13Updated 3 years ago
- Experiments with llvm to create a toy programming language☆25Updated 4 months ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- A dynamic language inspired by Python and E.☆78Updated 4 years ago
- A programming language for distributed systems.☆34Updated last month
- An esoteric RPN golfing language☆23Updated 2 years ago