marcinjangrzybowski

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
cubeViz
Language:JavaScript60
cubeViz2
Language:Haskell212
cubeViz2-gen
Language:HTML01
cubical
Language:Agda20
cubical-mini
Language:Agda00
dedekind
Language:Haskell00
devgrants
👟 Apply for a Filecoin devgrant. Help build the Filecoin ecosystem!
00

marcinjangrzybowski's Repositories

marcinjangrzybowski/cubeViz2
Language:Haskell212
marcinjangrzybowski/cubeViz
Language:JavaScript60
marcinjangrzybowski/cubical
Language:Agda20
marcinjangrzybowski/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0 00
marcinjangrzybowski/cubeViz2-gen
Language:HTML01
marcinjangrzybowski/cubical-mini
Language:Agda00
marcinjangrzybowski/dedekind
Language:Haskell00
marcinjangrzybowski/devgrants
👟 Apply for a Filecoin devgrant. Help build the Filecoin ecosystem!
00
marcinjangrzybowski/elm-slider
Elm package: customisable range sliders
Language:Elm00
marcinjangrzybowski/elm-street
:deciduous_tree: Crossing the road between Haskell and Elm
Language:Haskell00
marcinjangrzybowski/glow
The Glow language for Blockchain Decentralized Applications — mirrors https://gitlab.com/mukn/glow
Language:Scheme0 0
marcinjangrzybowski/GLUT
Haskell bindings to GLUT
Language:Haskell0 0
marcinjangrzybowski/graph-state
Language:Agda
marcinjangrzybowski/kadena.js
Public monorepo for all Typescript/Javascript related tools and libs for Kadena
Language:TypeScript
marcinjangrzybowski/oracle-dapp
Language:Pact
marcinjangrzybowski/pact
The Pact Smart Contract Language
Language:Haskell0 0
marcinjangrzybowski/pact-core-prim
WIP Pact core interpreter
Language:Haskell
marcinjangrzybowski/pts-agda
A formalization of Pure Type Systems (PTS) in Agda
Language:Agda
marcinjangrzybowski/Tellorflex-kadena
Tellor Oracle implementation in PACT
Language:Pact
marcinjangrzybowski/watcher-dsl-beta
A repository for domain specific language