mankyKitty/idris-jsglmatrix
FFI Wrapper for GLMatrix JS Lib in Idris
Discovered public repositories for mankyKitty in the GitHub catalog.
FFI Wrapper for GLMatrix JS Lib in Idris
Experimentation with Idris and WebGL via JavaScript FFI
Functional Programming Course
Type System Experiments for Lisp Flavoured Erlang
A Dependently Typed Functional Programming Language
LLVM Targetting JIT written in Haskell for Great Good
Learn Rust by making tests pass
a safe, concurrent, practical language
Lexical analyzer generator for Erlang
Tutorial inspired Haskell Project starter program.
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Weapons chest and clean slate practice area.
Code documentation written as code! How novel and totally my idea!
Common GNU Makefile rules for building and testing Erlang applications.
A port of LazyFoo's SDL tutorials to Haskell. (http://lazyfoo.net/SDL_tutorials/index.php)
Lisp Flavored Erlang Github .io Site
Wrote myself a scheme in 48 hours, fancy that... (from the book of a remarkably similar name!)
Super light weight IF file_changed THEN run_this cli app written in Go. :)
Lisp Flavoured Erlang (LFE)
A set of exercises for learning Clojure
Mario Kart 64 analytics
Yet another config loader for Golang! :)
Go bindings for nVIDIA CUDA 5
Clojure Powered Othello Board Game
Example use of Heroku Common Lisp Buildpack
Collection of projects, experiments, fiddling, and curiosity.
Short assignments to start the day off right.
Rails Application for a University project, queries the RegPrecise service.
The weekly challenge repo for WPW