Stars
A collection of Master XDC files for Digilent FPGA and Zynq boards.
Haskell to VHDL/Verilog/SystemVerilog compiler
Simple, expressive, and safe UI library for Scala.js
Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.
We write your reusable computer vision tools. 💜
A collection of Nix utilities to work with Python projects [maintainer=@adisbladis]
Extensive collection of Python projects from PyPI, for Nix!
Nix library for building Scala sbt projects
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Introduction to algebraic effects and handlers
tiktoken is a fast BPE tokeniser for use with OpenAI's models.
Resilient, distributed applications powered by ZIO
An introduction to programming language theory in Agda
Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
A high-level Python library for Quantum Natural Language Processing
Experiments learning the even-parity dataset with MPS (tensor trains)
A visual catalogue + story of morphisms displayed across computational structures.
List of papers studying machine learning through the lens of category theory
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
A collaborative bibliography of work related to the theory and practice of computational effects
The Functional and Reactive Web-Frontend Library for Scala.js
Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia
Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
Build production-ready applications in TypeScript