InfernalKnight's repositories
cabal
Official upstream development repository for Cabal and cabal-install
company-coq
IDE extensions for Proof General's Coq mode
django-multiple-user-types-example
Django Quiz Application
EazeGraph
An Android chart and graph library
elm-export
Create Elm types and JSON decoders from Haskell source.
elm-task-extra
Additional functions for working with tasks
elm-ui
UI Library in Elm
example-nix
illustration of how I use Nix
exercises
💻 Exercises for the Haskell Beginners 2022 course
godot
Godot Engine – Multi-platform 2D and 3D game engine
HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
hellocharts-android
Charts/graphs library for Android compatible with API 8+, several chart types with support for scaling, scrolling and animations
helm-secrets
A helm plugin that help manage secrets with Git workflow and store them anywhere
HoloGraphLibrary
Fork of the HoloGraphLibrary by Daniel Nadeau with additionnal features
MPAndroidChart
A powerful Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, dragging and animations.
nixpkgs
Nix Packages collection
opaleye-sot
Opaleye's sugar on top
pulp
A build tool for PureScript projects
python-scaleioclient
API binding for ScaleIO used by Nova
servant-elm
Automatically derive Elm functions to query servant webservices
servant-swagger
Swagger for Servant
squeal
Main repository for the squeal database library.
wl-pprint-text
A Wadler/Leijen Pretty Printer for Text values