Seteh

Seteh's Stars

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11.1k243165598

• azat-io/you-dont-know-js-ru

  :books: Russian translation of "You Don't Know JS" book series

  8.4k439892.7k

• zio/zio

  ZIO — A type-safe, composable library for async and concurrent programming in Scala

  Language:Scala4.1k1142.6k1.3k

• gvergnaud/hotscript

  A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

  Language:TypeScript3.5k224357

• httpie/desktop

  🚀 HTTPie Desktop — cross-platform API testing client for humans. Painlessly test REST, GraphQL, and HTTP APIs.

  3k1119933

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.2k919119

• winitzki/sofp

  A free book: "The Science of Functional Programming"

  Language:TeX1.4k494898

• passy/awesome-recursion-schemes

  Resources for learning and using recursion schemes.

  1.2k44656

• reflex-frp/reflex

  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 like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

  Language:Haskell1.1k63183149

• egison/egison

  The Egison Programming Language

  Language:Haskell9134515632

• sbt/sbt-jmh

  "Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

  Language:Scala788249989

• com-lihaoyi/scalatags

  ScalaTags is a small XML/HTML construction library for Scala.

  Language:Scala75938138117

• getkyo/kyo

  Toolkit for Scala Development

  Language:Scala5762815149

• Hopac/Hopac

  http://hopac.github.io/Hopac/Hopac.html

  Language:F#5253616361

• wix/greyhound

  Greyhound - Rich Kafka client library

  Language:Scala5211522639

• higherkindness/droste

  recursion schemes for cats; to iterate is human, to recurse, divine

  Language:Scala388273852

• recursion-schemes/recursion-schemes

  Generalized bananas, lenses and barbed wire

  Language:Haskell341197056

• alexarchambault/case-app

  Type-level & seamless command-line argument parsing for Scala

  Language:Scala296144844

• tofu-tf/derevo

  Multiple instance derivations inside a single macro annotation

  Language:Scala184113040

• statebox/cql

  CQL: Categorical Query Language implementation in Haskell

  Language:Haskell164268715

• HoTT/EPIT-2020

  EPIT 2020 - Spring School on Homotopy Type Theory

  Language:TeX10319011

• apimorphism/telegramium

  Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.

  Language:Scala838279

• duo-lang/duo-lang

  Duo - A research language exploring duality in programming language design

  Language:Haskell576852

• softwaremill/saft

  Language:Scala422213

• cannorin/FSharp.TypeLevel

  type-level programming in F#

  Language:F#37502

• DoctorRyner/sae

  An Idris 2 build tool and a package manager

  Language:Idris28510

• toptobes/typefuck-haskell

  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)

  Language:Haskell17210

• colt-browning/sandpile

  Sandpile model implemented in Rust

  Language:Rust10101

• apotheca/birecursion-schemes

  A library for mono-, di- and bi- recursion schemes.

  Language:Haskell7200

• haf/functional-programming-patterns

  Language:TypeScript430