Risto Stevcev

bastet. A ReasonML/Ocaml library for category theory and abstract algebra

bs-declaredom. Strongly typed declarative markup for the DOM and CSS

bs-effects. Bucklescript data structures for effectful sync and async programming

callbag-html. An html markup library for callbag

pure-random. :sparkles: A purely functional random number generator

haskell-church-encodings. :cyclone: Church encodings written in Haskell

bs-free. Free monads for bucklescript

python-bytecode. A Python bytecode compiler and bytecode generator.

purescript-ffi-utils. A utility library for the purescript foreign function interface

lazy-either. :twisted_rightwards_arrows: A lazy implementation of the Fantasy Land Either type

do-notation. :arrow_left: Do notation for Fantasy Land monad types

category-theory-by-example. Explaining category theory by example

randomart-js. Generates a randomart image from a buffer

bs-jsverify. Jsverify bindings for bucklescript

c-autotools. :boat: A tutorial on how to use autotools for C

prolog-monty-python. Demo of the Monty Python witch scene with Prolog

json-to-dot. Convert a json graph to the dot format

bs-declaredom-mvc-example. An example of how to use declaredom as an MVC framework in combination with other tools

idris-heyting-algebra. Interfaces for heyting algebras and verified bounded join and meet semilattices

cl-micropm. A very minimalist, decentralized "package manager" for Common Lisp (<200 LOC)

callbag-store. A callbag implementation of a redux-like store

purescript-webcomponents. A web components wrapper for purescript

cl-todo-mvc. Todo MVC app for common lisp using ningle + hermetic + parenscript

purescript-sqlite. An Sqlite wrapper for Purescript

sokoban. :mushroom: A sokoban client for the browser written in ClojureScript

purescript-most. Most.js bindings for purescript

haskell-crypto-simple. A simple high level encryption interface based on cryptonite

haskell-karatsuba-multiplication. :abcd: λ Karatsuba multiplication implemented in Haskell

bs-callbag-basics. Tiny and fast reactive/iterable programming library

idris-functors. Bifunctors and functor products, coproducts, and composition

tabgroups. :beers: A chrome extension that is a variation of the firefox tab group feature.

bs-postgres. Bucklescript bindings for node-postgres

bs-odoc. Simple wrapper around odoc to support bucklescript projects

purescript-docker. Purescript build for Docker :anchor:

mneme. :books: Mneme is a new and elegant note-taking format with a web editor/viewer.

idris-naps. A makeshift package management system for idris

idris-comonad. An implementation of comonads in idris

bs-node-stream. Bucklescript bindings for the node stream API

purescript-homogeneous-objects. :koko: Compiler-enforced homogeneous JSON objects for Purescript

lambda-streams. A lambda-based streaming library (WIP)

purescript-starter-template. A purescript starter template using purescript-signal and purescript-smolder-vdom

callbag-element. A custom element that sets its contents from a callbag stream

declaredom. Declarative syntax for generating DOM elements

github-markdown-live. :octocat: A simple way to render and view your GitHub markdown files locally

prolog_si. Port of Scryer prolog's si module

statsd-grapher. :chart_with_upwards_trend: A statsd backend that serves an http page with the graphical data

asana. A simple yoga asana sequence guide

css-parser-combinator. :smile_cat: A CSS parser and its combinators

purescript-lattice. Lattices in purescript

iac-protocol. :satellite: A protocol and interface that enables inter-application communication.

bs-callbag-of. Callbag source factory that emits values specified as arguments.

haskell-quicksort. Quicksort implementation in Haskell

bs-either. DEPRECATED

primary-clipboard. A layer that sets up copy and paste for the PRIMARY clipboard in spacemacs windowless mode

awesome-charting. A curated list of chart and dataviz resources that developers may find useful.

rxjs-store. A very simple wrapper that provides redux-like functionality using RxJS observables

simple-jails. Simple annotated scripts to create FreeBSD thin jails and clone jails