underscoreio / philosopher-emojiView external linksLinks
Philosopher emoji for all your online metaphysical needs.
☆15Feb 23, 2018Updated 7 years ago
Alternatives and similar repositories for philosopher-emoji
Users that are interested in philosopher-emoji are comparing it to the libraries listed below
Sorting:
- ☆15May 28, 2016Updated 9 years ago
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 6 years ago
- Example of an application web server written in pure functional Scala using the typelevel stack☆13Oct 27, 2022Updated 3 years ago
- sbt plugin to run shell commands from within the sbt shell☆15Jan 24, 2015Updated 11 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- A scala library for the Tak board game☆16Feb 18, 2022Updated 3 years ago
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- ☆26Aug 12, 2024Updated last year
- Library that eases the usage of Free Monads based on cats and allows to compose multiple free monads into one.☆17Sep 14, 2016Updated 9 years ago
- A macro-based generic visitor generator☆25Feb 24, 2025Updated 11 months ago
- An implementation of Computation Expressions in Scala.☆21Aug 15, 2015Updated 10 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- Provides domain models and codecs for common protocols☆28Oct 23, 2021Updated 4 years ago
- Provides protection against cascading failures and system overload.☆28May 17, 2024Updated last year
- A plugin to build your application using dotty with sbt support☆23Apr 5, 2017Updated 8 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 9 years ago
- Scalac plugin to detect classpath entries that aren't directly used☆29Mar 18, 2019Updated 6 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 8 years ago
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- a typeclass based JSON codec that's backend independent☆36Oct 12, 2025Updated 4 months ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Jul 30, 2022Updated 3 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Codacy tool for Scalameta☆35Jun 30, 2025Updated 7 months ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Radial Edge data structure☆14Oct 25, 2025Updated 3 months ago
- Liberator - sent to make you Free☆88Dec 14, 2018Updated 7 years ago
- Use the Web Cryptography API to create keys for symmetric encryption from user-entered passwords☆11Mar 7, 2015Updated 10 years ago