profile
viewpoint

ony/exherbo-cabal 4

Exheres generator for Exherbo from cabal packages. Note that Exherbo no longer maintain repository of Cabal packages as part of core repositories.

ony/exony 3

ony's exhereses

ony/alown-exheres 0

Alown's collection of exheres

ony/antlr-haskell 0

A language parsing quasiquoter for Haskell based heavily on ANTLR4.

ony/aqualung 0

Advanced music player

created repositoryconal/DependentTypesAtWork-exercises

Exercises from "Dependent Types at Work"

created time in 3 days

created repositoryconal/agda-play

Miscellaneous experiments in Aga

created time in 7 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

fork stima/libgd

GD Graphics Library

http://libgd.org

fork 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

created repositoryfeuerbach/phylogenetics

created time in a month

startedjcsteh/axSHammer

started time in a month

fork feuerbach/hmatrix

Linear algebra and numerical computation

fork in a month

startedagda/agda-categories

started time in a month

fork feuerbach/quickcheck

Automatic testing of Haskell programs.

fork in 2 months

created repositoryscan/todos

Todos example app with PWA

created time in 2 months

fork feniksa/usd-unity-sdk

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

PublicEvent

created repositoryconal/agda-cat-linear

Linear map categories in Agda

created time in 2 months

fork feuerbach/katip

A structured logging framework for Haskell

fork in 2 months

fork feuerbach/wai

Haskell Web Application Interface

fork in 2 months

created repositoryconal/agda-linear

Denotative linear algebra in Agda

created 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

more