Pinned Repositories
atlas-examples
generic-auth
Generic Authenticated Data Types
haskellX2019
This ain't your Daddy's Probability Monad - Slides and Code from my talk at the Haskell eXchange 2019
heap
dependently typed Haskell heaps
neural
Neural Nets in native Haskell
pell
Haskell Package to solve the Generalized Pell Equation
protop
topos programming
simple-marlowe
simple-plutus
Simple, idealized version of the Plutus smart contract language in Haskell.
stack2cabal
creating a cabal new-build configuration from a stack configuration
brunjlar's Repositories
brunjlar/neural
Neural Nets in native Haskell
brunjlar/protop
topos programming
brunjlar/stack2cabal
creating a cabal new-build configuration from a stack configuration
brunjlar/simple-plutus
Simple, idealized version of the Plutus smart contract language in Haskell.
brunjlar/heap
dependently typed Haskell heaps
brunjlar/pell
Haskell Package to solve the Generalized Pell Equation
brunjlar/atlas-examples
brunjlar/haskellX2019
This ain't your Daddy's Probability Monad - Slides and Code from my talk at the Haskell eXchange 2019
brunjlar/simple-marlowe
brunjlar/generic-auth
Generic Authenticated Data Types
brunjlar/letters-frp
brunjlar/transaction-reanimate
brunjlar/grading
brunjlar/cardano-token-registry
brunjlar/diagram
Playing with Haskell Diagrams
brunjlar/distributed
CH/OTP Test Task
brunjlar/ethereum-analyzer
An Ethereum contract analyzer.
brunjlar/haskell-meetup-purescript
brunjlar/ILSpy
.NET Decompiler
brunjlar/lucid-evolution
brunjlar/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
brunjlar/mmap
monoidal maps
brunjlar/pledging-model
Simple model for Cardano Shelley pledging
brunjlar/purescript-halogen-dialog
PureScript/Halogen support for dialogs
brunjlar/purescript-json
JSON parsing library like aeson for purescript.
brunjlar/purescript-pspec
test suite for purescript
brunjlar/purescript-signal
Elm style FRP library for PureScript
brunjlar/remarkable_mouse
use your reMarkable as a graphics tablet
brunjlar/stackage
"Stable Hackage": vetted consistent packages from Hackage
brunjlar/talks
all my talks