A pure functional type-inferred language based on JavaScript
☆58May 7, 2023Updated 2 years ago
Alternatives and similar repositories for heron-language
Users that are interested in heron-language are comparing it to the libraries listed below
Sorting:
- ☆10May 16, 2025Updated 9 months ago
- Simple and powerful programming language with type inference☆24Feb 17, 2017Updated 9 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- meta-c a meta-langauge☆10Feb 14, 2026Updated 2 weeks ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 4 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Lua with more or less typing. You type less; we type check.☆14Jan 1, 2026Updated 2 months ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Mar 3, 2020Updated 5 years ago
- Vulkan Samples☆12Dec 7, 2025Updated 2 months ago
- r3 virtual machine, succesor of :r4☆17Dec 31, 2020Updated 5 years ago
- a compiler that loads and runs lua Venus scripts☆13May 9, 2020Updated 5 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- A game scripting programming language written in .NET C#☆13Aug 31, 2019Updated 6 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- Minimal and fast regular expression library for C.☆21Jun 4, 2013Updated 12 years ago
- App for smart recycle waste bottles ♻️☆14Oct 4, 2023Updated 2 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18May 26, 2025Updated 9 months ago
- Simple Interpreted Language Kit (SILK). An easy way to add scripting and automation to your .NET applications.☆19Dec 31, 2024Updated last year
- AST, parser, pretty-printer for Core Erlang source code.☆29Mar 20, 2021Updated 4 years ago
- Secure communication between Arduino Uno microcontroller and Android application over BLE (Bluetooth Low Energy).☆22Dec 11, 2020Updated 5 years ago
- A collection of lua util functions☆20Jul 16, 2025Updated 7 months ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- Game making class with Unity and C#☆23Mar 9, 2022Updated 3 years ago
- KNN Algorithm☆22Feb 21, 2022Updated 4 years ago
- Erlang GTK binding☆38Mar 17, 2023Updated 2 years ago
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Apr 28, 2024Updated last year
- simple yet expressive high-level scripting language (formerly known as tisp) [MIRROR]☆27Feb 21, 2026Updated last week
- LaTeX sources for the Habit Programming Language Report☆24Sep 28, 2018Updated 7 years ago
- Golang Twitter Library☆27Jun 22, 2022Updated 3 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Sep 12, 2020Updated 5 years ago
- Cat - a statically typed functional stack-based programming language☆282Jan 4, 2018Updated 8 years ago
- Gap Messenger Api Bot Library for Python☆28May 22, 2023Updated 2 years ago
- Iranian Cars Detection using Yolov5s, PyTorch☆34Sep 29, 2022Updated 3 years ago
- A learning project implementing a statically typed embeddable programming language☆31Jul 28, 2019Updated 6 years ago
- WM (Watch Movie) is a video player that show it on the terminal as a text!☆29Feb 18, 2021Updated 5 years ago
- A R5RS Scheme interpreter for embedded use☆32Dec 16, 2025Updated 2 months ago
- Consize is a concatenative programming language☆36Feb 19, 2025Updated last year