Beast code in Giters

Ian-Woo Kim's repositories

hoodle

hoodle : A pen notetaking program written in haskell

Language:Haskell140 7 94

fficxx

Haskell-C++ Foreign Function Interface Generator

Language:Haskell137 12 113

HROOT

HROOT: Haskell binding to ROOT

Language:Haskell11 5 7

hs-imgui

dear imgui binding via fficxx

Language:Haskell4 20

lbfgs-hs

Haskell binding for liblbfgs

Language:CNOASSERTION4 30

hgdal

Haskell binding to GDAL

Language:Haskell3 4 1

nixpkgs

Nix Packages collection

Language:NixMIT1 3 1

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION010

cborg

Binary serialisation in the CBOR format

Language:Haskell010

defect-process

Defect Process (2d hack n' slash game) full source code

Language:HaskellBSD-3-Clause010

entropy

Easy entropy source for Haskell users.

NOASSERTION000

extra

Extra Haskell functions

Language:HaskellBSD-3-Clause010

generics-sop

Generic Programming using True Sums of Products

Language:HaskellBSD-3-Clause010

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

Language:HaskellNOASSERTION030