The standard library for Motoko.

Simple high-level language for writing Internet Computer canisters

A library for managing cycles across hundreds of canisters.

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

🚧 a work in progress effect system for Haskell 🚧

An adequate printer.

Generate tests from examples in purescript docs

ET (IPL) language interpreters and literature

Simple GHC (Haskell) integration for VSCode

Template for Hindley-Milner based languages

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!

Liquid Types For Haskell

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.