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,025

reason-design-patterns

Reason

477

lam

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

Rust

247

minttea

A fun little TUI framework for OCaml

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

230

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

Minimal composable server framework for Riot

trail

A pure OCaml HTTP client for Riot

blink

A pure OCaml library for working with terminals

pachadb

an edge database

Rust

tty

🔥 Composable, incremental, turnkey document compiler

hotstuff

Rust

colors

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

⌚ 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 slack

chatty

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

Bakery

CoffeeScript compiling for Pythonistas.

Expresso

Python

config.ml

conditional compilation via attributes for OCaml

A portable pure OCaml CA Store

castore

Unbounded loops with early breaks and continues for OCaml 5.

loop

Spring-based animation library for OCaml

hooke

🎧 🔄 Synchronised Playlist Playback for Spotify

mixtape

Lightweight event dispatching for OCaml.

telemetry

🌳 A minimalistic Tree-like tool built in Reason Native

oak

📺 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

Ruby client for switchboard.spatch.co

woolly

a little mastodon client

TypeScript

asdf

🐛 Random code snippets

escheck

ng-board

paper-eaters

switchboard.rb

Ruby

reason-gc

🗑 A small exploration of the Reason/OCaml Garbage Collector

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

wittgenstein

👾 A game engine I was building when I was 14

PhantomSDL

zazen

🙏 sit, breathe, code.

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

erlang-gui

find anything you need in ocaml

bazaar

jawa

♻️ 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

PuntoPagos Module for NodeJS

node-puntopagos

A small set of koans to learn about Makefiles

making-makefiles

Vim Script

rocket

following the Essentials of Compilation book in OCaml

🔄 An erlang WebSocket server

🔭 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

EXII-macOS

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

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

tweet-cli

projector

📽️ Stay on top of your Github Projects

A quick and dirty, likely broken trie

retrie

reactor-web

angularjs based platformer game

textmine.js

Text-mining for NodeJS

ngage-platformer

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

cerebro

piclevel-api

An S-expression library for V

v-sexpr

transporter.io-ng-board

ng-board transport for transporter.io

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

A set of Knox tasks for GruntJS

grunt-knox

A Toasted game framework for the Marmalade SDK

Toasty

C++

anchorman.js

a reporter library for nodejs

Just a repo building a crapload of modules

bsb-load-test

events transport for transporter.io

transporter.io-events

tribble

lisping

cleverboard

the first project using ng-board and transporter.io

setup.js

my setup scripts

The backend powering the app built with ng2

message.me-api

100

erl-port-test