puffnfresh / language-scalaView external linksLinks
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 7 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
- naïve set arithmetic + CL types reification☆13Jan 14, 2017Updated 9 years ago
- a little category theory in Idris☆10Jun 27, 2016Updated 9 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
- Agda libraries for the semantic web☆25Nov 14, 2018Updated 7 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- SBT Plugin for Compiling a Single File☆25Aug 16, 2018Updated 7 years ago
- ☆26Aug 12, 2024Updated last year
- ☆21Aug 30, 2023Updated 2 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
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆61Oct 8, 2025Updated 4 months ago
- A floating threshold for compiler warnings☆27Mar 15, 2024Updated last year
- Existential type.☆37Updated this week
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- ☆28Sep 26, 2017Updated 8 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
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Fast and simple JSON encoding toolkit☆84Dec 9, 2023Updated 2 years ago
- Extensible effects for Scala☆37Jun 29, 2022Updated 3 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- Micro-library that provides source file name and line number.☆33Sep 13, 2025Updated 5 months ago