Exheres generator for Exherbo from cabal packages. Note that Exherbo no longer maintain repository of Cabal packages as part of core repositories.
ony's exhereses
Alown's collection of exheres
A language parsing quasiquoter for Haskell based heavily on ANTLR4.
Advanced music player
created repositoryconal/DependentTypesAtWork-exercises
Exercises from "Dependent Types at Work"
created time in 3 days
startedWAVM/WAVM
started time in 14 days
created repositoryKyleMaas/Spider_Stomping_Game
Spider stomping Halloween decoration/game to be played in a driveway via projector
created time in 16 days
startedlibffi/libffi
started time in a month
startedriscv/riscv-asm-manual
started time in a month
startedgraphql-rust/juniper
started time in a month
issue openedony/exony
luakit depends on obsolete net-libs/webkit-gtk
Hey @ony
Are you still using luakit? It's one of the remaining users of net-libs/webkit-gtk which we would like to get rid of :-)
created time in a month
startedjcsteh/axSHammer
started time in a month
startedagda/agda-categories
started time in a month
fork conal/agda-stdlib
The Agda standard library
http://wiki.portal.chalmers.se/agda/pmwiki.php
fork in 2 months
Integration of Pixar's Universal Scene Description into Unity
fork in 2 months
startedopen-watcom/open-watcom-v2
started time in 2 months
startedknurling-rs/defmt
started time in 2 months
startedknurling-rs/probe-run
started time in 2 months
created repositorySergeyTeplyakov/BuildXL.CodeAnalyzers
Roslyn-based analyzers to enforce coding conventions for BuildXL codebase
created time in 2 months
startedMaoni0/mem-doc
started time in 2 months