InfernalKnight

Pinned Repositories

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

InfernalKnight's Repositories

InfernalKnight/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 3 00
InfernalKnight/company-coq
IDE extensions for Proof General's Coq mode
Language:Emacs Lisp0 3 00
InfernalKnight/django-multiple-user-types-example
Django Quiz Application
Language:Python0 3 00
InfernalKnight/EazeGraph
An Android chart and graph library
Language:Java0 3 00
InfernalKnight/elm-export
Create Elm types and JSON decoders from Haskell source.
Language:Haskell0 3 00
InfernalKnight/elm-task-extra
Additional functions for working with tasks
Language:Elm3 0
InfernalKnight/elm-ui
UI Library in Elm
Language:CSS3 0
InfernalKnight/example-nix
illustration of how I use Nix
Language:Nix3 0
InfernalKnight/exercises
💻 Exercises for the Haskell Beginners 2022 course
Language:Haskell2 0
InfernalKnight/godot
Godot Engine – Multi-platform 2D and 3D game engine
Language:C++3 0
InfernalKnight/HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
Language:Haskell3 0
InfernalKnight/hellocharts-android
Charts/graphs library for Android compatible with API 8+, several chart types with support for scaling, scrolling and animations
Language:Java3 0
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:Java3 0
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.
Language:PowerShell2 0
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:Java3 0
InfernalKnight/nixpkgs
Nix Packages collection
Language:Nix3 0
InfernalKnight/opaleye-sot
Opaleye's sugar on top
Language:Haskell3 0
InfernalKnight/pulp
A build tool for PureScript projects
Language:PureScript3 0
InfernalKnight/python-scaleioclient
API binding for ScaleIO used by Nova
Language:Python3 0
InfernalKnight/servant-elm
Automatically derive Elm functions to query servant webservices
Language:Haskell3 0
InfernalKnight/servant-swagger
Swagger for Servant
Language:Haskell3 0
InfernalKnight/squeal
Main repository for the squeal database library.
Language:Haskell3 0
InfernalKnight/wl-pprint-text
A Wadler/Leijen Pretty Printer for Text values
Language:Haskell