Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by Lysxia

A curated list of projects in awesome lists by Lysxia .

https://github.com/lysxia/advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

Last synced: 16 Mar 2025

https://github.com/lysxia/first-class-families

First-class type families

dependent-types haskell types

Last synced: 07 Apr 2025

https://github.com/lysxia/profunctor-monad

Bidirectional programming in Haskell with monadic profunctors

Last synced: 19 Aug 2025

https://github.com/lysxia/generic-data

Generic data types in Haskell, utilities for GHC.Generics

deriving generics haskell

Last synced: 05 Apr 2025

https://github.com/lysxia/metamorph

Monomorphize polymorphic functions for testing

Last synced: 22 Mar 2025

https://github.com/lysxia/system-f

Formalization of the polymorphic lambda calculus and its parametricity theorem

coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f

Last synced: 22 Mar 2025

https://github.com/lysxia/coq-simple-io

IO for Gallina

coq extraction ocaml

Last synced: 27 Jul 2025

https://github.com/lysxia/generic-recursion-schemes

Folds for recursive types with GHC Generics

Last synced: 22 Mar 2025

https://github.com/lysxia/generic-data-surgery

Surgery for generic data types

generics haskell

Last synced: 13 Apr 2025

https://github.com/lysxia/coq-ceres

Coq library for serialization to S-expressions

coq debug pretty-print serialization

Last synced: 22 Mar 2025

https://github.com/lysxia/unparse-attoparsec

An attoparsec roundtrip

Last synced: 20 Mar 2025

https://github.com/Lysxia/coq-ceres

Coq library for serialization to S-expressions

coq debug pretty-print serialization

Last synced: 10 Jul 2025

https://github.com/lysxia/quickcheck-higherorder

QuickCheck extension for higher-order properties

haskell higher-order quickcheck testing

Last synced: 09 Mar 2026

https://github.com/lysxia/bluefin-algae

Algebraic effects in the Bluefin effect system

Last synced: 24 Jul 2025

https://github.com/lysxia/roll-your-own-irc-bot

Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot

haskell irc network tutorial

Last synced: 22 Mar 2025

https://github.com/lysxia/hashislife

C implementation of the Hashlife algorithm

Last synced: 31 Jul 2025

https://github.com/lysxia/coq-recursion-schemes

recursion-schemes in Coq

Last synced: 25 Oct 2025

https://github.com/lysxia/show-combinators

Minimalistic Haskell pretty-printing library

haskell

Last synced: 07 Sep 2025

https://github.com/lysxia/test-monad-laws

QuickCheck properties for monad classes

Last synced: 22 Mar 2025

https://github.com/lysxia/twentyseven

Rubik's cube solver in Haskell

Last synced: 22 Mar 2025

https://github.com/lysxia/komachi

Parser library in Agda, with coinductive machines and automatic differentiation

Last synced: 24 Apr 2025

https://github.com/lysxia/type-map

Type-indexed maps, or a lightweight record library

Last synced: 05 Mar 2026

https://github.com/lysxia/scanf

scanf and printf in Haskell

Last synced: 25 Oct 2025

https://github.com/lysxia/lens-monad

Monadic monadic lenses

Last synced: 08 Apr 2025

https://github.com/lysxia/raz.haskell

Random Access Zippers: Haskell translation of raz.ocaml (https://github.com/cuplv/raz.ocaml)

Last synced: 25 Oct 2025

https://github.com/lysxia/decor-experiments

Experiments on generating random functional programs to test compilers and PL theory

Last synced: 24 Apr 2025

https://github.com/lysxia/test-fun

Representation of higher-order functions for property testing

functional-programming random testing

Last synced: 25 Oct 2025

https://github.com/lysxia/pfa

Parallel Functional Arrays

Last synced: 24 Apr 2025

https://github.com/lysxia/gap

Generators as predicates

Last synced: 24 Apr 2025

https://github.com/lysxia/weechat-relay

WeeChat Relay protocol in Haskell

Last synced: 26 Aug 2025

https://github.com/lysxia/magnifique

Visualize tree structures. Focus on the bits that matter.

Last synced: 24 Apr 2025

https://github.com/lysxia/haskell-syntaxonomer

WIP. Source: https://gitlab.com/lysxia/haskell-syntaxonomer

Last synced: 23 Jan 2026

https://github.com/lysxia/cfpt

Counting Functional Pregroup Types

Last synced: 31 Oct 2025

https://github.com/lysxia/cochis

Calculus of coherent implicits

Last synced: 24 Apr 2025

https://github.com/lysxia/bytes-codec

Bidirectional serialization for binary and cereal

Last synced: 17 Sep 2025

https://github.com/lysxia/breadcrumbs

Persistent bounded buffers

Last synced: 24 Apr 2025

https://github.com/lysxia/tasty-diff

Golden testing with integrated diff

Last synced: 13 Jul 2025

https://github.com/lysxia/tina

IRC bots

Last synced: 21 Jul 2025

https://github.com/lysxia/coq-itree-io

Interpreter from itree to IO

Last synced: 31 Jul 2025

https://github.com/lysxia/generic-show

Prototype of generic show with local instances

Last synced: 24 Apr 2025

https://github.com/lysxia/pnmcosparse

Cosparse analysis greedy algorithms

Last synced: 12 Feb 2026

https://github.com/lysxia/minic

Compiler Project

Last synced: 24 Apr 2025

https://github.com/lysxia/cogenerics

Extensible sums and products as a dual to GHC Generics

Last synced: 24 Apr 2025

https://github.com/lysxia/combinatorust

A Rust combinatorics library

Last synced: 24 Apr 2025

https://github.com/lysxia/toro

Experiments with bluefin effect system

Last synced: 24 Apr 2025

https://github.com/lysxia/plugin-hell-please-ignore

Temporary troubleshooting repository

Last synced: 18 Mar 2026

https://github.com/lysxia/pelican

Polymorphism and canonical forms

Last synced: 24 Apr 2025

https://github.com/lysxia/suneiku

TUI Snake (and cie) in C using ncurses.

Last synced: 24 Apr 2025

https://github.com/lysxia/projetalgo

Last synced: 24 Apr 2025

https://github.com/lysxia/tf-random-rust

Splittable PRNG

Last synced: 24 Apr 2025

https://github.com/lysxia/pure-splitmix

Purely functional splittable PRNG in OCaml

Last synced: 22 Jun 2025

https://github.com/lysxia/gurusolver

Solver program for the guru problem

Last synced: 24 Apr 2025

https://github.com/lysxia/aeson-benchmarks-logs

Log files of the aeson performance dashboard

Last synced: 24 Jan 2026

https://github.com/lysxia/generic-data-th

Type declarations from GHC Generic Reps

Last synced: 17 Sep 2025

https://github.com/lysxia/coq-pseudorandom

PRNG in Coq

Last synced: 26 Jul 2025

https://github.com/lysxia/prefixnetworks

Descriptions of prefix networks (and related works)

Last synced: 24 Jan 2026