Ecosyste.ms: 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: 27 Oct 2024
https://github.com/lysxia/generic-random
Generic random generators
arbitrary generics haskell quickcheck random-generation testing
Last synced: 26 Oct 2024
https://github.com/lysxia/generic-data
Generic data types in Haskell, utilities for GHC.Generics
Last synced: 01 Nov 2024
https://github.com/lysxia/profunctor-monad
Bidirectional programming in Haskell with monadic profunctors
Last synced: 27 Oct 2024
https://github.com/lysxia/metamorph
Monomorphize polymorphic functions for testing
Last synced: 28 Oct 2024
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: 28 Oct 2024
https://github.com/lysxia/generic-recursion-schemes
Folds for recursive types with GHC Generics
Last synced: 28 Oct 2024
https://github.com/lysxia/generic-data-surgery
Surgery for generic data types
Last synced: 07 Nov 2024
https://github.com/Lysxia/coq-ceres
Coq library for serialization to S-expressions
coq debug pretty-print serialization
Last synced: 04 Aug 2024
https://github.com/lysxia/coq-ceres
Coq library for serialization to S-expressions
coq debug pretty-print serialization
Last synced: 28 Oct 2024
https://github.com/lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
haskell higher-order quickcheck testing
Last synced: 28 Oct 2024
https://github.com/lysxia/bluefin-algae
Algebraic effects in the Bluefin effect system
Last synced: 28 Oct 2024
https://github.com/lysxia/show-combinators
Minimalistic Haskell pretty-printing library
Last synced: 28 Oct 2024
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
Last synced: 28 Oct 2024
https://github.com/lysxia/hashislife
C implementation of the Hashlife algorithm
Last synced: 10 Oct 2024
https://github.com/lysxia/test-monad-laws
QuickCheck properties for monad classes
Last synced: 28 Oct 2024
https://github.com/lysxia/coq-mtl
Formalized laws for mtl
coq effects formalization haskell laws monad monad-transformers
Last synced: 10 Oct 2024
https://github.com/lysxia/komachi
Parser library in Agda, with coinductive machines and automatic differentiation
Last synced: 06 Nov 2024
https://github.com/lysxia/type-map
Type-indexed maps, or a lightweight record library
Last synced: 28 Oct 2024
https://github.com/lysxia/raz.haskell
Random Access Zippers: Haskell translation of raz.ocaml (https://github.com/cuplv/raz.ocaml)
Last synced: 10 Oct 2024
https://github.com/lysxia/test-fun
Representation of higher-order functions for property testing
functional-programming random testing
Last synced: 10 Oct 2024
https://github.com/lysxia/decor-experiments
Experiments on generating random functional programs to test compilers and PL theory
Last synced: 06 Nov 2024
https://github.com/lysxia/bytes-codec
Bidirectional serialization for binary and cereal
Last synced: 06 Nov 2024
https://github.com/lysxia/magnifique
Visualize tree structures. Focus on the bits that matter.
Last synced: 06 Nov 2024
https://github.com/lysxia/haskell-syntaxonomer
WIP. Source: https://gitlab.com/lysxia/haskell-syntaxonomer
Last synced: 06 Nov 2024
https://github.com/lysxia/generic-show
Prototype of generic show with local instances
Last synced: 06 Nov 2024
https://github.com/lysxia/cogenerics
Extensible sums and products as a dual to GHC Generics
Last synced: 06 Nov 2024
https://github.com/lysxia/prefixnetworks
Descriptions of prefix networks (and related works)
Last synced: 06 Nov 2024
https://github.com/lysxia/aeson-benchmarks-logs
Log files of the aeson performance dashboard
Last synced: 06 Nov 2024
https://github.com/lysxia/plugin-hell-please-ignore
Temporary troubleshooting repository
Last synced: 06 Nov 2024
https://github.com/lysxia/pure-splitmix
Purely functional splittable PRNG in OCaml
Last synced: 06 Nov 2024