A PureScript UI library built upon the react
☆10May 27, 2022Updated 3 years ago
Alternatives and similar repositories for gimel
Users that are interested in gimel are comparing it to the libraries listed below
Sorting:
- C++ foreign export implementations for the standard library☆22Jun 10, 2019Updated 6 years ago
- An Idris 2 build tool and a package manager☆28Jan 28, 2023Updated 3 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- Lisp1.5 interpreter/compier☆17Jun 15, 2020Updated 5 years ago
- A sample Warehouse management app in Common Lisp☆14Aug 1, 2021Updated 4 years ago
- 🐶Incremental Dom + Haxe + Elm Architechture☆15Apr 3, 2020Updated 5 years ago
- ☆16Dec 17, 2014Updated 11 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- A short guide detailing how to bootstrap PureScript.☆25May 13, 2019Updated 6 years ago
- A practical type-safe UI library for PureScript.☆31Apr 19, 2021Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- Kotlin-backend for PureScript☆80Aug 27, 2021Updated 4 years ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 6 months ago
- D&M Landing Page Engine - OpenSource PHP landing page engine/constructor to create landing pages with dynamic content☆10May 19, 2017Updated 8 years ago
- A formatter for Haskell source code☆37May 30, 2022Updated 3 years ago
- Exercism exercises in Idris.☆35Feb 9, 2026Updated 3 weeks ago
- Toy project in Rust☆12Jan 21, 2025Updated last year
- ☆10Sep 28, 2020Updated 5 years ago
- Generator of MathTask☆10Jul 10, 2019Updated 6 years ago
- Repo where to write down documentation and guides for the elm-compiler☆33Jan 11, 2017Updated 9 years ago
- Null safety for Haxe☆54Feb 7, 2026Updated 3 weeks ago
- Extended OpenGL bindings for Racket☆49Mar 12, 2019Updated 6 years ago
- Create a presentation written in MarkDown☆10Apr 10, 2018Updated 7 years ago
- Native Android application development with haxe☆34Oct 16, 2016Updated 9 years ago
- Tiny High Performance HTTP Server for Scala☆13Jan 4, 2025Updated last year
- Libraries and tools for extracting Coq code to F#☆14Aug 16, 2013Updated 12 years ago
- Use off-side syntax (indent instead of braces, like in Python) to write Rust!☆10Jun 26, 2019Updated 6 years ago
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 3 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- Batteries for the web☆14Oct 31, 2015Updated 10 years ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- Call Julia from Rust☆16Dec 8, 2016Updated 9 years ago
- React based ASCII Rogue☆11Nov 20, 2025Updated 3 months ago
- An archive of the lisp-hug maillist.☆10Mar 27, 2023Updated 2 years ago
- Telegram Lambdabot Bot☆11May 29, 2024Updated last year
- Elm bindings for regl.☆12Jun 19, 2025Updated 8 months ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 10 months ago