InfernalKnight

Pinned Repositories

cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell00
company-coq
IDE extensions for Proof General's Coq mode
Language:Emacs Lisp00
django-multiple-user-types-example
Django Quiz Application
Language:Python00
EazeGraph
An Android chart and graph library
Language:Java00
elm-export
Create Elm types and JSON decoders from Haskell source.
Language:Haskell00

InfernalKnight's Repositories

InfernalKnight/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell00
InfernalKnight/company-coq
IDE extensions for Proof General's Coq mode
Language:Emacs Lisp00
InfernalKnight/django-multiple-user-types-example
Django Quiz Application
Language:Python00
InfernalKnight/EazeGraph
An Android chart and graph library
Language:Java00
InfernalKnight/elm-export
Create Elm types and JSON decoders from Haskell source.
Language:Haskell00
InfernalKnight/elm-task-extra
Additional functions for working with tasks
Language:Elm
InfernalKnight/elm-ui
UI Library in Elm
Language:CSS
InfernalKnight/example-nix
illustration of how I use Nix
Language:Nix
InfernalKnight/exercises
💻 Exercises for the Haskell Beginners 2022 course
InfernalKnight/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++
InfernalKnight/HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
Language:Haskell
InfernalKnight/hellocharts-android
Charts/graphs library for Android compatible with API 8+, several chart types with support for scaling, scrolling and animations
Language:Java
InfernalKnight/helm-secrets
A helm plugin that help manage secrets with Git workflow and store them anywhere
Language:Shell
InfernalKnight/HoloGraphLibrary
Fork of the HoloGraphLibrary by Daniel Nadeau with additionnal features
Language:Java
InfernalKnight/libvlc-go
Go bindings for libvlc 2.X/3.X used by the VLC media player
Language:Go3 0
InfernalKnight/Main
📦 The next-generation default bucket for Scoop.
InfernalKnight/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.
Language:Java
InfernalKnight/nixpkgs
Nix Packages collection
Language:Nix
InfernalKnight/opaleye-sot
Opaleye's sugar on top
Language:Haskell
InfernalKnight/pulp
A build tool for PureScript projects
Language:PureScript
InfernalKnight/python-scaleioclient
API binding for ScaleIO used by Nova
Language:Python
InfernalKnight/servant-elm
Automatically derive Elm functions to query servant webservices
Language:Haskell
InfernalKnight/servant-swagger
Swagger for Servant
Language:Haskell
InfernalKnight/squeal
Main repository for the squeal database library.
Language:Haskell
InfernalKnight/wl-pprint-text
A Wadler/Leijen Pretty Printer for Text values
Language:Haskell