brunjlar

Input Output Hong KongRegensburg (Germany)

Pinned Repositories

atlas-examples
Language:Haskell3 0 01
generic-auth
Generic Authenticated Data Types
Language:Haskell2 3 01
haskellX2019
This ain't your Daddy's Probability Monad - Slides and Code from my talk at the Haskell eXchange 2019
Language:TeX3 3 00
heap
dependently typed Haskell heaps
Language:HTML5 2 00
neural
Neural Nets in native Haskell
Language:Haskell124 16 817
pell
Haskell Package to solve the Generalized Pell Equation
Language:Haskell5 2 11
protop
topos programming
Language:Haskell31 3 02
simple-marlowe
Language:Haskell3 1 01
simple-plutus
Simple, idealized version of the Plutus smart contract language in Haskell.
Language:Haskell10 1 05
stack2cabal
creating a cabal new-build configuration from a stack configuration
Language:Haskell12 2 12

brunjlar's Repositories

brunjlar/purescript-knockoutjs
Type declarations for knockout.js
Language:PureScript1 2 0
brunjlar/chutzpah
Chutzpah is an open source JavaScript test runner which enables you to run unit tests using QUnit, Jasmine, Mocha, CoffeeScript and TypeScript.
Language:JavaScript2 0
brunjlar/hoogle
Haskell API search engine
Language:Haskell2 0