BartAdv

hackslash

idris-stache

Mustache parser implementation for Idris, basing on Haskell 'stache'

rpi-bare-metal

Bare metal RPi experiments with Rust

Blodwen

A prototype successor to Idris

gitrev

Compile git revision info into Haskell projects

h5p-standalone

Server free H5P Content

humming

queue_classic in Haskell

idris-yaml

wrapper for libYaml based on https://github.com/snoyberg/yaml

json-path

JSON path for Clojure

katip

A structured logging framework for Haskell

Korma

Tasty SQL for Clojure.

lightyear

Parser combinators for Idris

mount

managing Clojure and ClojureScript app state since (reset)

purescript-ace

Purescript bindings for the Ace editor

purescript-cookies

purescript-markdown

A Purescript library for parsing SlamData's dialect of Markdown.

purescript-react

React Bindings for PureScript

purescript-react-material-ui

purescript-react-redux

purescript-react-redux-example

purescript-react-wrapper-gen

purescript-strings

String utility functions, Char type, regular expressions.

pxt-adafruit

Microsoft MakeCode editor for Adafruit Circuit Playground Express

pxt-midi

A MIDI interface for MakeCode

pxt-powerfunctions

LEGO Power Functions protocol for Circuit Playground Express MakeCode

shred

Shared resource dispatcher

shrev-rs

Shred based event handler

specs

Specs - Parallel ECS

spyscope

Trace-oriented debugging tools for Clojure

taxi-toolkit

A Clojure library designed to help with writing integration tests using clj-webdriver.