Pinned Repositories
aboriginal
Aboriginal Generics: the future is here!
abstract-effects
agnostic effect classes
abstract-effects-test
Testing SDK for the effects library.
foreign-store-stm
broken, dont use it
openDE
Bindings of the physics engine Open Dynamics Engine for Haskell.
yampa-openal
Adapter between Yampa and OpenAL+ALUT
vitalibarozzi's Repositories
vitalibarozzi/aboriginal
Aboriginal Generics: the future is here!
vitalibarozzi/agda-stdlib
The Agda standard library
vitalibarozzi/availability
Efficient effects for concrete monads
vitalibarozzi/brick
A declarative terminal UI programming library written in Haskell
vitalibarozzi/DOOM
DOOM Open Source Release
vitalibarozzi/category-theory-illustrated
A book about category theory
vitalibarozzi/dhall-nethack
Generate NetHack configurations using Dhall
vitalibarozzi/dwarf-fortress
Unofficial repository for releases of Dwarf Fortress by Bay 12 Games
vitalibarozzi/eff
🚧 a work in progress effect system for Haskell 🚧
vitalibarozzi/effectful
An easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem.
vitalibarozzi/effective-rust
vitalibarozzi/frank
Frank compiler
vitalibarozzi/gitlab-haskell
Haskell library for the GitLab web API (Fork)
vitalibarozzi/gloss
Painless 2D vector graphics, animations and simulations.
vitalibarozzi/haskell-chart
A 2D charting library for haskell
vitalibarozzi/hypergraph
Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.
vitalibarozzi/Idris2
A dependently typed programming language, a successor to Idris
vitalibarozzi/Iosevka
Versatile typeface for code, from code.
vitalibarozzi/irc-slack
IRC-to-Slack gateway
vitalibarozzi/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
vitalibarozzi/kensington-expert-trackball-linux-config
vitalibarozzi/kitten
A statically typed concatenative systems programming language.
vitalibarozzi/Latent-Effect-and-Handlers
Source code accompanying "Latent Effects for Reusable Language Components"
vitalibarozzi/libdill
Structured concurrency in C
vitalibarozzi/libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
vitalibarozzi/linear-base
Standard library for linear types in Haskell.
vitalibarozzi/propagators
The Art of the Propagator. See also:
vitalibarozzi/test
go
vitalibarozzi/wiwinwlh
What I Wish I Knew When Learning Haskell
vitalibarozzi/xmobar
A minimalistic, mostly text-based status bar