Alex Gryzlov's repositories
rp-with-monix
Examples from "Reactive Programming with RxJava" in Monix
think-bayes-idris
Think Bayes in Idris
probability
Probabilistic computation in Idris
alda-experiments
Musical experiments in Alda
awesome-guidelines
A curated list of high quality coding style conventions and standards.
awesome-rust
A curated list of Rust code and resources.
Chronicle-Bytes
Chronicle Bytes has a similar purpose to Java NIO's ByteBuffer with many extensions
documentation
Documentation for the PureScript language, compiler, and tools.
http4s
A minimal, idiomatic Scala interface for HTTP
idris-hamt
Idris Hash Array Mapped Trie
matasano-idris
Matasano crypto challenges in Idris
purescript-affjax
An asynchronous AJAX library built using Aff.
purescript-distributive
Distributive typeclass
purescript-dygraphs
Purescript bindings to dygraphs plotting library
purescript-foldable-traversable
Classes for foldable and traversable data structures
purescript-maps
Purely functional maps
purescript-markup
Data type for constructing markup trees rendered in the browser.
purescript-markup-incdom
Incremental DOM rendering backend for `purescript-markup`.
purescript-optic-ui
PureScript UI framework based on lenses.
purescript-requestAnimationFrame
Request Animation Frame bindings and polyfill
purescript-smolder
A combinator library for generating markup
purescript-transformers
Monad and comonad transformers
purescript-webaudio
A PureScript wrapper around the HTML5 Web Audio API
scala-best-practices
A collection of Scala best practices
TypeDD-Samples
Sample code from "Type Driven Development with Idris"