Stars
Improve your Baduk skills by training with KataGo!
Program correctly assessing values of moves in the endgame stage of the game of Go
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Tools to create applets for the AlphaSmart NEO / NEO2.
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Finds patterns & shapes in Go board arrangements and names moves.
Generate Elm type definitions and json encoders/decoders from Haskell types.
This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core
The engine for haskell ide-integration. Not an IDE
Lift control operations, like exception catching, through monad transformers
Fake dependent types in Haskell using singletons
Some utilities that are often useful when using Haskell's Groundhog library
Official upstream development repository for Cabal and cabal-install
Persistence interface for Haskell allowing multiple storage methods.
lykahb / http-date
Forked from kazu-yamamoto/http-dateFast parser and formatter for HTTP Date
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction