Discover abarbu/servant-reason-example Open Source project

Examples of Android applications written in Kawa scheme

android-kawa

Practical Deep Learning in Haskell now!

haskell-torch

Building Haskell apps on mobile devices (Android/iOS)

haskell-mobile

Web app to annotate word onsets and offsets on spectrograms

audio-annotation

TypeScript

video-in-sentences-out

Code for 'Video In Sentences Out', UAI2012

objectnet-template-pytorch

baseline mode for the ObjectNet competition

Python

csp-haskell

Constraint satisfaction problem (CSP) solvers for Haskell

Automatically derive bindings for Servant APIs in Reason

servant-reason

A CUDA Clojure core.matrix implementation

matrix-cuda-clojure

Purdue LaTeX beamer themes for posters and talks

purdue-beamer

Shell

reason-export

Create Reason types and JSON encoders/decoders for Haskell types

Nondeterministic computations in Haskell

nondeterminism-haskell

Chicken egg that implements automatic differentiation

Chicken egg for linear algebra

linear-algebra

Chicken egg that generates code from inline TeX

schemetex

A version of Torque (PBS) that runs without root permissions

torque

sanity

Fixes a number of problems with Clojure semantics and syntax and fills in some missing functionality

RealWorld implemented in Miso

realworld-miso

A version of xpdf designed for giving talks with embedded media, unsafe for arbitrary untrusted files

xpdf

C++

ffmpeg-matlab

Matlab FFmpeg bindings for decoding videos

scheme2c-compatibility

Chicken egg that makes it more compatible with Scheme->C

Chicken egg that provides an interface to the Python matplotlib graph library

objectnet-template-tensorflow

Python

matplotlib

Chicken scheme egg with high-performance redis bindings through hiredis

redis-chicken

This chicken egg provides matlab bindings

matlab-chicken

Docker containers for abarbu/haskell-mobile; building Haskell apps on mobile devices (Android/iOS)

haskell-mobile-containers

Shell

traversal

Chicken egg that implements various functions for traversing data structures

A presenter for human subject experiments currently tuned for fMRI

presenter

Chicken egg that solves constraint satisfaction problems

csp

Code for the Axons connected to robot table

axon

gsl-chicken

An egg providing GSL bindings for chicken

Qt egg for Chicken Scheme

chicken-qt

Chicken egg with ffmpeg bindings

ffmpeg-video

Chicken egg with a QobiScheme-compatible define-structure macro

define-structure

Chicken egg for NLopt, the nonlinear optimization library

nlopt

An internal tool to convert between representations

spf-converter

libzip bindings for chicken

libzip-chicken

Provide per-TR triggers for MRI machines that only support per-slice triggers

tr-trigger

common-clojure

Misc clojure code shared among multiple projects

An egg that provides port of the QobiScheme UI to Chicken

qobischeme-ui

Wrappers to make condor more usable

condor-utils

Perl

stochastic-discrete

A chicken egg that implements a stochastic programming language for discrete distributions

Chicken egg for nondeterministic computations

nondeterminism

Chicken scheme egg with bindings for CCV, a computer vision library

ccv-chicken

Aligned Multimodal Movie Treebank

ammt

image-processing

Chicken egg with various image processing utilities

A Clojure library for nondeterministic computations

nondeterminism-clojure

A thread-safe version of imlib2 with thread-local contexts

imlib2-thread-safe

icfp2013

ICFP 2013

An egg providing various graph algorithms for chicken

graph

Chicken bindings for reading/computing optical flow

optical-flow-chicken