Starred repositories
66
results
for sponsorable starred repositories
Clear filter
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
Derive instances for GEq and GCompare from the dependent-sum package
Diffuse is a graphical tool for comparing and merging text files. It can retrieve files for comparison from Bazaar, CVS, Darcs, Git, Mercurial, Monotone, RCS, Subversion, and SVK repositories.
Reference counting with linear types
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A package index for the Haskell ecosystem
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Combinators and types for easily building trainable neural networks using the backprop library
Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
📺 Discover the latest machine learning / AI courses on YouTube.
Small games, experiments, and notes on (Haskell) game development.
Reverse-mode automatic differentiation with delimited continuations
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
Dockerfiles for (cross-)compiling TokTok projects for various platforms
Docker image with GHC+musl for static executables
🍻 Default formulae for the missing package manager for macOS (or Linux)
A modern testing framework for Haskell with good defaults and advanced testing features.
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…
a roguelike framework for C# with ECS and Unity integration