Skip to content
View ourobouros's full-sized avatar
48 followers · 620 following

Highlights

  • Pro

Block or report ourobouros

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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

7 stars written in Haskell
Clear filter

jgm / pandoc

Universal markup converter

Haskell 40,875 3,715 Updated Dec 18, 2025

tensorflow / haskell

Haskell bindings for TensorFlow

Haskell 1,603 197 Updated Aug 15, 2024

Gabriella439 / bench

Command-line benchmark tool

Haskell 901 22 Updated Sep 2, 2025

entropia / tip-toi-reveng

Trying to understand the file format of Tip Toi

Haskell 809 128 Updated Oct 20, 2025

quchen / stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

Haskell 532 24 Updated Jun 8, 2021

google-deepmind / logical-entailment-dataset

This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.

Haskell 70 17 Updated Apr 16, 2018

TLMcode / cardano-sl

Forked from input-output-hk/cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Haskell 1 Updated Jan 2, 2018

Starred topics

See all starred topics