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:
- A Kotlin implementation of lox with a JVM backend built using ProGuardCORE☆24Jun 16, 2024Updated last year
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A simple, extensible and efficient programming language based on C and Python☆32Jun 7, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Programming language☆13Dec 6, 2020Updated 5 years ago
- A bytecode compiler and virtual machine for the Lox language, in C#. Includes a C# / Lox object interface generator and bytecode serializ…☆19Mar 8, 2026Updated last month
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 7 years ago
- a concurrent compiled programming language☆15Jun 9, 2022Updated 3 years ago
- Experimental programming metalanguage, targeting on intertranspiling with other languages.☆19May 11, 2023Updated 2 years ago
- 📇 Compiler and engine☆19May 8, 2023Updated 2 years ago
- A strongly-typed programming language by the N building with a general-purpose use☆28Aug 23, 2024Updated last year
- Official home of the ZAP! language☆31Jan 6, 2023Updated 3 years ago
- A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]☆21May 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Jan 3, 2025Updated last year
- The Silk Programming Language☆79Jun 2, 2021Updated 4 years ago
- 2048 for Playdate☆10Feb 28, 2025Updated last year
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.☆29Jun 4, 2021Updated 4 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆14Mar 11, 2021Updated 5 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…☆14May 16, 2022Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆26Feb 26, 2026Updated last month
- A fast, statically typed compiled language☆28Mar 14, 2022Updated 4 years ago
- Arbitrary-precision decimal based on Zarith☆20Apr 6, 2026Updated last week
- Utilities for working with partial functions☆16Dec 27, 2025Updated 3 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 6 years ago
- OCaml Ctypes stubs generation notes☆21May 1, 2019Updated 6 years ago
- The Aeon Engine. A modern C++14-based game engine.☆10Oct 4, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago
- Train microWakeWord models on Apple Silicon Macs (M1, M2, M3...) with full GPU acceleration via Metal (MPS). For use on Home Assistant Vo…☆45Mar 14, 2026Updated last month
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Enable string interpolation for PureScript☆18Oct 18, 2022Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆27Apr 7, 2026Updated last week
- A programming language for distributed systems.☆35Updated this week