vpatryshev / wowiki
It is just my own wiki website. Nothing personal there, so it's public.
☆37Updated 2 months ago
Alternatives and similar repositories for wowiki:
Users that are interested in wowiki are comparing it to the libraries listed below
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 3 months ago
- Coq Lecture Notes (WIP)☆51Updated 4 years ago
- Lasca is Scala shifted towards Haskell.☆129Updated 6 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Linear types in Scala☆40Updated 3 weeks ago
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 4 years ago
- Fast streams for Scala 3☆51Updated 2 weeks ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- ☆13Updated 2 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- A Proof Generator for Entailments and Tautologies in First-order Logic☆38Updated last month
- Library for counting and enumerating things.☆44Updated 3 years ago
- Introducing tagless-final in Scala with an example of Language-Integrated Query☆18Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆14Updated this week
- oleg modules☆30Updated 11 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- ☆107Updated last year
- Effect Handlers for Java / the JVM☆30Updated 4 years ago
- Functional languages index☆42Updated 5 years ago
- GAPT: General Architecture for Proof Theory☆95Updated last month
- A function code generator and an isomorphism analyzer☆38Updated 2 years ago
- A path to Recursion Schemes☆10Updated 4 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆16Updated 7 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- Simple Dependent Type Checker☆10Updated 5 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated 8 months ago
- Higher kinded data in Scala☆19Updated 5 months ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago