A funny toy programming language project
☆28Feb 9, 2013Updated 13 years ago
Alternatives and similar repositories for funfun
Users that are interested in funfun are comparing it to the libraries listed below
Sorting:
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- Simple TODO web-app using Vert.x as server☆16Jan 8, 2017Updated 9 years ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Aug 23, 2015Updated 10 years ago
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- A Tiny BASIC interpreter for the 6502☆20Oct 17, 2021Updated 4 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 8 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Materials for my LambdaConf 2015 Workshop☆17May 22, 2015Updated 10 years ago
- NixOS theme for SLiM lock☆17Feb 17, 2018Updated 8 years ago
- ⚖️ Trial Data Type☆21Jun 13, 2025Updated 8 months ago
- tiny hack for colored pretty-printing within ghci☆21Sep 6, 2022Updated 3 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Apr 5, 2019Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 5 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- A lisp dialect written in PureScript☆21Dec 10, 2017Updated 8 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- Tool to update fedora packages branches☆24Jan 2, 2026Updated 2 months ago
- Library and tool for parsing .eventlog files from GHC☆37Feb 18, 2026Updated 2 weeks ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 5 years ago
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 9 years ago
- A Haskell implementation of the Shen programming language.☆168Apr 5, 2018Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆71Oct 31, 2019Updated 6 years ago