Skip to content
View avsm's full-sized avatar
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
1.2k followers · 136 following

Sponsoring

@problame
@simulot
@stalwartlabs
@tmattio

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Highlights

Organizations

@mirage @horizon-institute @CTSRD-TESLA @ocaml @ocamllabs @realworldocaml @ocaml-attic @ocaml-bench @ocurrent

Block or report avsm

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

15 results for source starred repositories written in Haskell
Clear filter

jameysharp / corrode

C to Rust translator

Haskell 2,179 117 Updated Mar 10, 2019

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,192 129 Updated Dec 18, 2025

jepst / CloudHaskell

A distributed computing framework for Haskell

Haskell 349 22 Updated Oct 16, 2012

GaloisInc / haskell-tor

A Haskell implementation of the Tor protocol.

Haskell 274 19 Updated Nov 3, 2017

bos / rwh

Real World Haskell

Haskell 30 5 Updated Jul 4, 2012

kayceesrk / Quelea

A Haskell library for declarative programming over eventually consistent store (Cassandra).

Haskell 18 5 Updated Apr 17, 2018

jaked / cufp-metaprogramming-tutorial

Haskell 15 1 Updated Oct 13, 2010

frenetic-lang / netcore-1.0

Compiler from NetCore to OpenFlow and associated tools.

Haskell 14 2 Updated Nov 3, 2014

avsm / Ivor

A type theory based theorem proving library

Haskell 12 6 Updated Apr 29, 2010

avsm / EpiVM

Epic - a Supercombinator Compiler

Haskell 11 12 Updated Apr 29, 2010

mariusae / sstable

sstables for haskell

Haskell 11 1 Updated Aug 14, 2015

mariusae / geohash

a geohash implementation in Haskell

Haskell 10 1 Updated Dec 25, 2009

avsm / Idris

A language with dependent types

Haskell 7 3 Updated Apr 28, 2010

frenetic-lang / nettle-openflow

Small patches to nettle-openflow. See https://github.com/AndreasVoellmy/nettle-openflow for original.

Haskell 4 1 Updated Nov 12, 2012

jepst / Cielhs

CIEL interface for Haskell

Haskell 3 Updated Sep 9, 2011