- Wrocław, Poland
-
00:43
- 1h ahead
Stars
A final project for Machine Learning at University of Wrocław
An experimental programming language that combines effect handlers and implicit parameters
Lecture notes for the Type Systems course given in Autumn 2023
📜 Haskell course info, plan, video lectures, slides
Formally verified algorithms in Coq: concepts and techniques
A collaborative bibliography of work related to the theory and practice of computational effects
RISC-V out-of-order core for education and research purposes
FP category theory jargon explained on a single A4 page
A fully featured React components library
🧱 Compiler frontend for developing great programming languages
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Create graphs from your CommonJS, AMD or ES6 module dependencies
⚡️ The Missing Fullstack Toolkit for Next.js
TypeScript-first schema validation with static type inference
A React-based UI toolkit for the web
Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
Cap'n Proto serialization/RPC system - core tools and C++ library
Master programming by recreating your favorite technologies from scratch.