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)☆18Apr 26, 2026Updated last week
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆11Nov 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☆31Jun 7, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Nixt is an interpreted programming language written in Rust☆16Jan 17, 2021Updated 5 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
- The Fundot programming language.☆14Dec 31, 2021Updated 4 years ago
- 📇 Compiler and engine☆19May 8, 2023Updated 3 years ago
- ☆17Jan 3, 2025Updated last year
- The Silk Programming Language☆77Jun 2, 2021Updated 4 years ago
- An example of one way you could use hot reloading with Halogen.☆17Dec 7, 2018Updated 7 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.☆15Mar 11, 2021Updated 5 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- 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 …☆26Apr 29, 2026Updated last week
- Arbitrary-precision decimal based on Zarith☆20Apr 6, 2026Updated last month
- Utilities for working with partial functions☆16Dec 27, 2025Updated 4 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Simple games implemented in purescript☆14Dec 24, 2018Updated 7 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.
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Enable string interpolation for PureScript☆18Oct 18, 2022Updated 3 years ago
- A programming language for distributed systems.☆36Apr 26, 2026Updated last week
- This project has moved over to Mochiscript☆18Nov 29, 2011Updated 14 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
- Path tracer live coded in stream☆21Aug 23, 2020Updated 5 years ago
- ☆31May 1, 2026Updated last week
- An example of how PureScript outputs are just CommonJS modules that you can use in any way you want.☆19Dec 7, 2018Updated 7 years ago
- A cross-platform compiler/interpreter .NET Standard implementation of the Lox language.☆17Nov 27, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Meta-programming utilities for Agda.☆20Apr 24, 2026Updated 2 weeks ago
- Web GUI tool for running Grunt tasks☆77Feb 21, 2016Updated 10 years ago
- Parsec-like parser combinators for Crystal☆17Nov 17, 2022Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 7 years ago
- An opionated library to work with AJAX and JSON☆17Aug 24, 2023Updated 2 years ago
- SEARCHING MAINTAINER | SkIDE is a fully tooled Open source Editor for Skript providing IDE like features.☆11Jan 9, 2021Updated 5 years ago