Pinned Repositories
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
ilya-fiveisky's Repositories
ilya-fiveisky/agda
Agda is a dependently typed programming language / interactive theorem prover.
ilya-fiveisky/agda-exceptions
Wrapper for some Haskell functions for exception handling.
ilya-fiveisky/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
ilya-fiveisky/agda-network
Wrapper for haskell network package.
ilya-fiveisky/agda-stdlib
The Agda standard library
ilya-fiveisky/agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics
ilya-fiveisky/AndEngine
Free Android 2D OpenGL Game Engine
ilya-fiveisky/AndroidSliderPreference
Android library that allows applications to add dialog-based slider widgets to their settings
ilya-fiveisky/aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
ilya-fiveisky/EXG
ilya-fiveisky/k3d
The main K-3D code repository
ilya-fiveisky/lem
Common Lisp editor/IDE with high expansibility
ilya-fiveisky/libgdx
Desktop/Android/HTML5/iOS Java game development framework
ilya-fiveisky/mygui
Fast, flexible and simple GUI.
ilya-fiveisky/overlap2d
Overlap2D Game development toolkit for UI and Level design
ilya-fiveisky/overlap2d-runtime-libgdx
Overlap2D - UI and Level Editor libgdx runtime
ilya-fiveisky/Rajawali
Android OpenGL ES 2.0 Engine
ilya-fiveisky/RajawaliExamples
Rajawali 3D Engine for Android Examples
ilya-fiveisky/RajawaliWallpaperTemplate