Stars
Neural Networks: Zero to Hero
Optimizing backend toolkit and modern ECMAScript backend for PureScript
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.
🎓 Path to a free self-taught education in Computer Science!
Exemplary real world application built with PureScript + Payload + PostgreSQL
Generate tests from examples in purescript docs
ET (IPL) language interpreters and literature
Simple GHC (Haskell) integration for VSCode
Higher order functional programming in PureScript's type system
Pure profunctor lenses
A friendly programming language from the future
✨ Pretty printer library for PureScript
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
A strongly-typed language that compiles to JavaScript
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Materials for my Machine Learning course at University of Wroclaw
A fast, flexible, fused effect system for Haskell
An extensible-effects implementation
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.