Discover Risto-Stevcev/idris-functors Open Source project

Strongly typed declarative markup for the DOM and CSS

213

bs-declaredom

Bucklescript data structures for effectful sync and async programming

bs-effects

An html markup library for callbag

callbag-html

✨ A purely functional random number generator

pure-random

Free monads for bucklescript

bs-free

🌀 Church encodings written in Haskell

haskell-church-encodings

A Python bytecode compiler and bytecode generator.

python-bytecode

Python

purescript-ffi-utils

A utility library for the purescript foreign function interface

🔀 A lazy implementation of the Fantasy Land Either type

lazy-either

⬅️ Do notation for Fantasy Land monad types

do-notation

Generates a randomart image from a buffer

randomart-js

Jsverify bindings for bucklescript

bs-jsverify

Explaining category theory by example

category-theory-by-example

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

bs-declaredom-mvc-example

Interfaces for heyting algebras and verified bounded join and meet semilattices

idris-heyting-algebra

⛵ A tutorial on how to use autotools for C

c-autotools

prolog-monty-python

Demo of the Monty Python witch scene with Prolog

Prolog

purescript-most

Most.js bindings for purescript

Simple wrapper around odoc to support bucklescript projects

bs-odoc

A simple high level encryption interface based on cryptonite

haskell-crypto-simple

A web components wrapper for purescript

purescript-webcomponents

A callbag implementation of a redux-like store

callbag-store

🍄 A sokoban client for the browser written in ClojureScript

sokoban

Clojure

purescript-sqlite

An Sqlite wrapper for Purescript

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

mneme

Convert a json graph to the dot format

json-to-dot

Todo MVC app for common lisp using ningle + hermetic + parenscript

cl-todo-mvc

Common Lisp

purescript-docker

Purescript build for Docker ⚓

Dockerfile

haskell-karatsuba-multiplication

🔡 λ Karatsuba multiplication implemented in Haskell

Tiny and fast reactive/iterable programming library

bs-callbag-basics

A lambda-based streaming library (WIP)

lambda-streams

Declarative syntax for generating DOM elements

declaredom

🍻 A chrome extension that is a variation of the firefox tab group feature.

tabgroups

A custom element that sets its contents from a callbag stream

callbag-element

An implementation of comonads in idris

idris-comonad

:octocat: A simple way to render and view your GitHub markdown files locally

github-markdown-live

😸 A CSS parser and its combinators

css-parser-combinator

📈 A statsd backend that serves an http page with the graphical data

statsd-grapher

Bucklescript bindings for the node stream API

bs-node-stream

Bucklescript bindings for tape

bs-tape

🚀 My guide on how to implement objects in C with support for inheritance, polymorphism, and clean memory management

c-objects

lambda-streams-promise

Javascript promise helpers for lambda streams

A makeshift package management system for idris

idris-naps

A simple yoga asana sequence guide

asana

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

purescript-starter-template

🈁 Compiler-enforced homogeneous JSON objects for Purescript

purescript-homogeneous-objects

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

rxjs-store

HTML

bs-callbag-store

A callbag implementation of a redux-like store

Higher-level abstractions for asynchronous code in idris

idris-async

♣️ A C-implementation of video poker with object-oriented C programming and C-unit testing

c-video-poker

purescript-properties

A set of generic predicates for testing algebraic properties

Quicksort implementation in Haskell

haskell-quicksort

A time travel debugger for purescript-signal

purescript-signal-time-travel

Pipe operators (<|) and (|>) for purescript

purescript-pipe-op

🌍 An open source chrome extension for quick wiktionary translation lookups

wiktionary-translator

HTML

python-church-encodings

Church encodings written in Python

Python

idris-catenable-lists

A port of the purescript catenable-lists library in Idris

bs-either

DEPRECATED

Simple annotated scripts to create FreeBSD thin jails and clone jails

simple-jails

purescript-lattice

Lattices in purescript

Generates a dependency graph for a bucklescript project

bs-dependency-graph

📡 A protocol and interface that enables inter-application communication.

iac-protocol

Python

purescript-exitcodes

A purescript library for Bash and BSD compliant exit codes

A library for dealing with undefinable values

tcltk-themes

Tcl Tk themes

Tcl

purescript-undefinable

A cl-project skeleton that uses fiveam as the test framework

fiveam-skeleton

Common Lisp

primary-clipboard

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

Emacs Lisp

bs-callbag-of

Callbag source factory that emits values specified as arguments.