Reimplementing the Haskell prelude in Scala (for fun)
☆13Jul 6, 2019Updated 7 years ago
Alternatives and similar repositories for hascalator
Users that are interested in hascalator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Transform a Folder into a Stack Template☆15Aug 23, 2026Updated 2 months ago
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 11 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 10 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 5 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generate bindings for Scala types in other programming languages.☆55Apr 13, 2026Updated 6 months ago
- Demonstrate jpackage for Scala apps for OS X and Windows using GitHub workflows☆15Sep 5, 2022Updated 4 years ago
- DSL like Haskell in Scala (toy)☆10Apr 5, 2012Updated 14 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years ago
- Cerebral/Baobab port of SurviveJS - Webpack and React Kanban app☆17Feb 24, 2016Updated 10 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Low-level Scala / Scala.js library for building and manipulating DOM trees☆10Mar 15, 2020Updated 6 years 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.
- Event sourcing utilities for FS2☆80Sep 3, 2024Updated 2 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Apr 21, 2019Updated 7 years ago
- Example Lagom.js application☆10Jul 10, 2021Updated 5 years ago
- A generic pretty-printer using generics-sop☆12Feb 7, 2020Updated 6 years ago
- Bucklescript + Snabbdom☆10Nov 18, 2018Updated 7 years ago
- Proposal for faster sbt launch times and more stable plugin ecosystem☆22Jun 13, 2018Updated 8 years ago
- Extensible algebraic effects with handlers☆148Updated this week
- ☆17Feb 16, 2020Updated 6 years 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.
- A type-safe abstraction for platform-independent file system paths.☆27Apr 23, 2021Updated 5 years ago
- Type Safe Graph Database Schemas in Scala for Neo4j☆37Oct 1, 2016Updated 10 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Dec 13, 2019Updated 6 years ago
- Scala wrapper around GDAL java bindings using GeoTrellis☆12Feb 18, 2019Updated 7 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25May 12, 2026Updated 5 months ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Jul 29, 2018Updated 8 years ago
- ☆11Mar 25, 2021Updated 5 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 8 years ago
- Quickly flatten an array in-place.☆10Nov 17, 2019Updated 6 years ago
- Bluetooth LE Keyboard & Mouse compatible with Arduino Keyboard and Mouse☆16Dec 15, 2022Updated 3 years ago
- List of all most important features of this language with real world examples to apply in your learning process☆15Jul 7, 2021Updated 5 years ago
- 🧊 Інститут формальної математики☆35Oct 17, 2026Updated 2 weeks ago