Skip to content
View bifunctor's full-sized avatar
📚
reading
📚
reading

Block or report bifunctor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A Rust-like language compiling to x86-64 assembler

Rust 53 8 Updated Jun 17, 2022

Empowering everyone to build reliable and efficient software.

Rust 97,605 12,622 Updated Oct 13, 2024

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

Haskell 152 9 Updated Jul 22, 2021

Haskell optimisation tool based on supercompilation

Haskell 25 Updated Jul 2, 2016

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell 1,019 36 Updated Apr 28, 2023

ICFP tutorial

Haskell 40 1 Updated Jul 31, 2021

Haskell Research Compiler

Standard ML 817 37 Updated Nov 7, 2022
TeX 1 Updated Mar 21, 2021

A Latex template for writing PhD Thesis

TeX 28 8 Updated Jun 20, 2014

Hopefully verifiable code generation in GHC

Haskell 95 6 Updated May 10, 2017

You might not need your garbage collector

Rust 535 12 Updated May 15, 2020

Hindley-Milner type inference using constraints

Haskell 48 1 Updated Jan 2, 2017

Building a modern functional compiler from first principles. (https://dev.stephendiehl.com/fun/)

Haskell 3,345 256 Updated Jan 11, 2021

Industrial-strength monadic parser combinator library

Haskell 912 86 Updated Sep 28, 2024

Prettify Symbols Mode for Visual Studio Code

TypeScript 83 22 Updated Sep 7, 2023

Convert Haskell source code to Coq source code

Coq 279 27 Updated Nov 11, 2020

Following [An Incremental Approach to Compiler Construction](https://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)

C 59 5 Updated Jun 6, 2021

Write You a Scheme

Haskell 552 114 Updated Dec 19, 2022
Haskell 41 4 Updated Jul 2, 2017

My own functional programming language, and its interpreter, with the Hindley-Milner type inference.

Haskell 2 Updated Aug 12, 2019

The Haskell performance checklist

372 16 Updated May 29, 2020

🖤 Create and share beautiful images of your source code

JavaScript 34,524 1,913 Updated Aug 2, 2024

🌐 A Haskell binding to the webview library created by Serge Zaitsev.

Haskell 123 8 Updated Jul 6, 2021

Haskell LLVM JIT Compiler Tutorial

Haskell 1,029 130 Updated Apr 21, 2020

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Haskell 3,083 172 Updated Apr 13, 2023

A Haskell kernel for the Jupyter project.

Jupyter Notebook 2,588 257 Updated Oct 13, 2024

www.haskell.org site source

CSS 108 94 Updated Sep 26, 2024

A concurrency C library 10x faster than Golang.

C 1,307 74 Updated Jun 30, 2023
Next