Discover leostera/tap-idris Open Source project

🍬 a functional language for building type-safe, scalable, and maintainable applications

1,547

caramel

🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

1,050

reason-design-patterns

Reason

477

minttea

A fun little TUI framework for OCaml

🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly

315

lam

⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml

250

httpkit

An actor-model multi-core scheduler for OCaml 5 🐫

202

riot

Serialization framework for OCaml

119

serde.ml

📐 minimalistic modular angular.js app generator (outdated as of Dec 1st, 2013)

109

ng2

Just a list of Awesome Alt Langs to check out

awesome-alt-langs

reactor

🚀 Native Actors for Reason and OCaml

🌵A composable static site generator

cactus

Reason

atacama

Modern, pure OCaml socket pool for Riot

Benchmarking framework for OCaml

scarab

pachadb

an edge database

Minimal composable server framework for Riot

trail

A pure OCaml HTTP client for Riot

blink

A pure OCaml library for working with terminals

tty

🔥 Composable, incremental, turnkey document compiler

hotstuff

A pure OCaml library for manipulating colors in different color spaces.

colors

⌚ A portable Go alternative to GNU's watch – very useful for autorunning things!

watch

rules_reason

📐Reason/OCaml rules and tools for Bazel

Python

nomad

Pure OCaml HTTP 1.1/2 & WebSocket server for Riot

Elixir

mlx

A modern, idiomatic web framework for Riot

mesa

Old version now mirroring React-client, please go to

tldr.js

A gRPC implementation written in pure OCaml/Reason

ocaml-grpc

dotfiles

q-lang

react-useMailbox

📫 A small React hook to turn your components into "Actors".

a TUI app for chatting on Twitch

chatty

Lightweight event dispatching for OCaml.

telemetry

CoffeeScript, Backbone, RequireJS, HeadJs and Jasmine. All together.

Bakery

CoffeeScript compiling for Pythonistas.

Expresso

Python

hooke

Spring-based animation library for OCaml

conditional compilation via attributes for OCaml

config.ml

A portable pure OCaml CA Store

castore

Unbounded loops with early breaks and continues for OCaml 5.

loop

🎧 🔄 Synchronised Playlist Playback for Spotify

mixtape

🌳 A minimalistic Tree-like tool built in Reason Native

oak

find anything you need in ocaml

bazaar

📺 Real-time Stream Stats Tool for Twitch.tv

twitchboard

📦 A collection of Idris packages

idris-coda

Idris

blast64

⚡ An apparently even faster base64 decoder for Chrome

HTML

fuzzql

⚙️ A GraphQL Fuzzy Testing Toolkit

A static-file server written with http/af + Reason Native

servus

An experiment in building high-performance, native graphical user interfaces in Erlang

erlang-gui

📚 A semantic, real-time, distributed, knowledge base.

woolly

a little mastodon client

TypeScript

wittgenstein

🐭 a small, extensible task runner for OCaml

muad

Ruby client for switchboard.spatch.co

asdf

🐛 Random code snippets

escheck

ng-board

paper-eaters

switchboard.rb

Ruby

reason-gc

🗑 A small exploration of the Reason/OCaml Garbage Collector

👾 A game engine I was building when I was 14

PhantomSDL

zazen

🙏 sit, breathe, code.

jawa

Easy-to-use, cryptographically safe random data for OCaml

random

PuntoPagos Module for NodeJS

node-puntopagos

♻️ A portable Go utility to retry commands with backoff

try

libra

⚖️ A Lisp Parser in Idris

Idris

anchorman

⚓👨 An Erlang library for broadcasting information

🎬 The Reactive Javascript Presentation Library

unveil

an ember.js phonegap application

play.app

A small set of koans to learn about Makefiles

making-makefiles

Vim Script

rocket

following the Essentials of Compilation book in OCaml

🔭 An Erlang application for observing supervision trees

pry

History Observable for RxJS

rx-history

For blogging wasn't German enough.

dasBlog

Python

rdn

Reason Data Notation

🔄 An erlang WebSocket server

A poorly written User-land driver for the EXII USB device family

EXII-macOS

Swift

libc.ml

Raw bindings to platform APIs for OCaml

smoothie graphs widget for ng-board

ng-board-smoothie

a sample web app built with ng2

message.me

go-go-gadget

lisping

tweet-cli

projector

📽️ Stay on top of your Github Projects

reactor-web

A quick and dirty, likely broken trie

textmine.js

Text-mining for NodeJS

retrie

angularjs based platformer game

ngage-platformer

🔭 A simple app to track down Mutant-grade Engineers on Github

cerebro

piclevel-api

ng-board transport for transporter.io

transporter.io-ng-board

a transport system over websockets

transporter.io

A simple file piping over http script using connect and spawn('tail')

PlayApp

the play app!

Objective-C

webtail

An S-expression library for V

v-sexpr

grunt-knox

A set of Knox tasks for GruntJS

A Toasted game framework for the Marmalade SDK

Toasty

C++

bsb-load-test

Just a repo building a crapload of modules

a reporter library for nodejs

anchorman.js

tribble

A modern semantic data modelling language

lore

events transport for transporter.io

transporter.io-events