Fun is programming language that supports both the functional and the imperative styles of programming. It distinguishes these two styles by allowing the programmer to choose between them explicitly: you can either write funs - which are pure, or procs - which are impure.
☆25Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for fun-lang
Users that are interested in fun-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Perlang Programming Language (GitHub Mirror)☆18Jul 1, 2026Updated 3 weeks ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- A Kotlin implementation of lox with a JVM backend built using ProGuardCORE☆25Apr 22, 2026Updated 3 months ago
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple, extensible and efficient programming language based on C and Python☆31Jun 7, 2022Updated 4 years ago
- Experimental programming language focused on transpiling, with C#/Python/Lua emitters.☆19May 11, 2023Updated 3 years ago
- Nixt is an interpreted programming language written in Rust☆16Jan 17, 2021Updated 5 years ago
- Official home of the ZAP! language☆30Jan 6, 2023Updated 3 years ago
- 📇 Compiler and engine☆19May 8, 2023Updated 3 years ago
- Fast, type-safe, object-oriented language by yours truly☆47Apr 7, 2026Updated 3 months ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27Jul 22, 2026Updated last week
- The Silk Programming Language☆78Jun 2, 2021Updated 5 years ago
- Experiments with llvm to create a toy programming language☆24Mar 27, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- An OG gbdev game jam! Create original games, demos or homebrews for the original Game Boy (Color) and compete for glory (and a lot of pri…☆15May 16, 2022Updated 4 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Arbitrary-precision decimal based on Zarith☆21Jul 10, 2026Updated 2 weeks ago
- Repo for For Medium post 'Combine Blazor WebAssembly Client and Server Logs: Two-way log streaming with NLog and SignalR'☆10Apr 13, 2022Updated 4 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 6 years ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Drizzle is a (currently interpreted) programming language designed as something I would like to use, and used as a way to learn lots of n…☆13Mar 7, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The Iron programming language☆16Jan 15, 2019Updated 7 years ago
- Compiler for a language called bshift☆16Jul 9, 2018Updated 8 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 7 years ago
- SEARCHING MAINTAINER | SkIDE is a fully tooled Open source Editor for Skript providing IDE like features.☆11Jan 9, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 3 months ago
- Path tracer live coded in stream☆22Aug 23, 2020Updated 5 years ago
- A simple and fast text editor☆14Jun 3, 2026Updated last month
- A systems programming language☆33Feb 12, 2025Updated last year
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated last year
- Multi-paradigm programming language compiled to C++, written in Python.☆59Aug 27, 2023Updated 2 years ago
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 4 years ago
- Tox is a statically typed version programming language that is written in rust.☆39Jan 20, 2023Updated 3 years ago
- An interpreted type-inferred programming language made in Python with SLY☆11Aug 31, 2019Updated 6 years ago
- The Crypt Programming Language☆15Dec 30, 2024Updated last year