Seteh
Follow
Stars
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Soar with Haskell, Published by Packt
Execute SQL against structured text like CSV or TSV
A really small example of the Backpack module system for Haskell
Edison: A Library of Efficient Data Structures
This repository contains a 90-day cybersecurity study plan, along with resources and materials for learning various cybersecurity concepts and technologies. The plan is organized into daily tasks, …
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
A free book: "The Science of Functional Programming"
ScalaTags is a small XML/HTML construction library for Scala.
recursion schemes for cats; to iterate is human, to recurse, divine
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
📚 Russian translation of "You Don't Know JS" book series
Type-level & seamless command-line argument parsing for Scala
🚀 HTTPie Desktop — cross-platform API testing client for humans. Painlessly test REST, GraphQL, and HTTP APIs.
Multiple instance derivations inside a single macro annotation
Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.
ZIO — A type-safe, composable library for async and concurrent programming in Scala
CQL: Categorical Query Language implementation in Haskell
Duo - A research language exploring duality in programming language design
"Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)
Resources for learning and using recursion schemes.
A collection of resources for learning type theory and type theory adjacent fields.