Pretty printer of Scala
☆20Oct 21, 2020Updated 5 years ago
Alternatives and similar repositories for language-scala
Users that are interested in language-scala are comparing it to the libraries listed below
Sorting:
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Generates Art for your contribution graph☆13Jun 13, 2020Updated 5 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Friendly compile error messages for shapeless's Generic, circe's Encoder & Decoder and slick's case class mapping.☆14Dec 7, 2021Updated 4 years ago
- Sonic the Hedgehog 2 in Haskell☆67Jan 7, 2022Updated 4 years ago
- Try Idris☆35Sep 7, 2015Updated 10 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Agda libraries for the semantic web☆25Nov 14, 2018Updated 7 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- ☆26Aug 12, 2024Updated last year
- A talk on parametricity☆36Jul 18, 2023Updated 2 years ago
- SBT Plugin for Compiling a Single File☆25Aug 16, 2018Updated 7 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Easy FFI for PureScript☆35May 24, 2022Updated 3 years ago
- Frontend state management library for cats-effect☆27Nov 21, 2021Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- An Emacs Lisp cons cell explorer☆56Dec 19, 2021Updated 4 years ago
- Existential type.☆37Feb 11, 2026Updated 3 weeks ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated last year
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- ☆28Sep 26, 2017Updated 8 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- Convert Task to Future, and Future to Task☆63May 3, 2018Updated 7 years ago
- Receive messages from Plan9's plumber in Emacs☆29May 23, 2024Updated last year
- Complete 2022 to 2015 entries for the annual Advent of Code challenge, written in concise idiomatic functional Scala.☆32Nov 3, 2024Updated last year
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 10 years ago
- "Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/☆29Aug 4, 2020Updated 5 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- Exploration of Scala macros☆152Mar 25, 2013Updated 12 years ago
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- Extensible effects for Scala☆37Jun 29, 2022Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago