A minimal and fully-customizable CV template for Typst.

PyPy is a very fast and compliant implementation of the Python language.

yggdrasil compiler with rust runtime

The MLton repository

Your favorite language gets closer to bare metal.

Scala compiler for the L3 (Lisp-like) programming language - CS420 Advanced Compiler Construction

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..

Partial evaluation of Python code

A prototype of a partial evaluator in Template Haskell, implemented 2018 for my bachelor's thesis "Partial Evaluation in Template Haskell".

These project are used to collect some basic example of Haskell program, it is only for myself.

A collaborative bibliography of work related to the theory and practice of computational effects

Haskell library for type-inference with Hindley-Milner type-system.

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

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

The pure asynchronous runtime for Scala

A friendly effect system for Haskell

🚧 a work in progress effect system for Haskell 🚧

Comparing Haskell effect systems for ergonomics and speed

A fast, flexible, fused effect system for Haskell

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Fast equality saturation in Haskell

A formatter for Haskell source code

Efficient Haskell effect handlers based on evidence translation.

Slay the Spire mod which provides a modding API and a dev console

Native debugging for VSCode

RISC-V Assembly Programmer's Manual

Moonbit Mini C Interpreter

The single instruction C compiler

购买 👉 https://gum.co/grokking-monad 在线阅读 👉