Skip to content
View pmatos's full-sized avatar

Sponsors

@samth
@gknauth
Block or Report

Block or report pmatos

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

11 stars written in Haskell
Clear filter

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,494 173 Updated Mar 31, 2024

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

Haskell 3,333 256 Updated Jan 11, 2021

C to Rust translator

Haskell 2,147 111 Updated Mar 10, 2019

A GHC-based Haskell to JavaScript compiler

Haskell 1,446 115 Updated Mar 17, 2019

An implementation of Python 3

Haskell 311 10 Updated Jan 29, 2016

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

Haskell 278 9 Updated Jan 26, 2014

Haskell bindings to the LLVM compiler infrastructure project.

Haskell 103 34 Updated Feb 7, 2020

Forward build system with speculation and caching

Haskell 102 4 Updated Oct 15, 2023

Formal specification of RISC-V Instruction Set

Haskell 96 19 Updated Jun 29, 2020

Utility library [Haskell]

Haskell 86 40 Updated May 4, 2024

Haskell to Javascript compiler (via GHC)

Haskell 20 1 Updated Jan 27, 2020