xran-deex

ats-http

An epoll-based HTTP library for ATS2

atsconan

A helper script for building ATS packages using Conan

project-euler-lux

Project Euler solutions using Lux

PyCoin

A Bitcoin clone using Python

LuxAndroidPlugin

A gradle plugin for building Android apps with Lux

ats-args

An ATS2 library for parsing command line arguments

ats-channel

ats-docker

For building a Docker image for ATS2

ats-epoll

Epoll bindings for ATS2

ats-hashtable-vt

An ATS2 hashtable with viewtype keys

ats-libz

libz bindings for ATS2

ats-linmap-list-vt

ATS2 Linmap-list with viewtype keys

ats-pthread-extensions

Extensions to ATS2 athread

ats-result

A Result type (Ok/Error) for ATS2

ats-shared-vt

ats-sqlite3

Simple sqlite3 bindings for ATS2

ats-threadpool

A threadpool library for ATS2

ats-unit-testing

An ATS2 unit testing framework

Carp

A statically typed lisp, without a GC, for real-time applications.

generator-lux-android

Scaffolding for an Android app built with Lux

idris-cil

A Common Intermediate Language backend for Idris.

Idris-dev

A Dependently Typed Functional Programming Language

idris-jvm

JVM bytecode backend for Idris

idrisjs

Js libraries for idris

LuxAndroidTest

Tests using Lux to build an Android app

LuxGradlePlugin

A gradle plugin for building Lux applications

Pass4Win

Windows version of Pass (http://www.passwordstore.org/)

rapidoid

Rapidoid - Extremely Fast, Simple and Powerful Java Web Framework and HTTP Server!

todolist-api

A Todo list API build with Golang and Sqlite3

toml

Tom's Obvious, Minimal Language