ilya-fiveisky

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-exceptions

Wrapper for some Haskell functions for exception handling.

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

agda-network

Wrapper for haskell network package.

agda-stdlib

The Agda standard library

agda-system-io

Bindings to Haskell's IO monad which respect Agda's semantics

AndEngine

Free Android 2D OpenGL Game Engine

AndroidSliderPreference

Android library that allows applications to add dialog-based slider widgets to their settings

aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

EXG

k3d

The main K-3D code repository

lem

Common Lisp editor/IDE with high expansibility

libgdx

Desktop/Android/HTML5/iOS Java game development framework

mygui

Fast, flexible and simple GUI.

overlap2d

Overlap2D Game development toolkit for UI and Level design

overlap2d-runtime-libgdx

Overlap2D - UI and Level Editor libgdx runtime

Rajawali

Android OpenGL ES 2.0 Engine

RajawaliExamples

Rajawali 3D Engine for Android Examples

RajawaliWallpaperTemplate