Pinned Repositories
agda-pfpl
curry.py
Curried functions in python!
Dotfiles
My very own!
pipeline.js
An aspiring implementation of FRP in JS
RAFlipReplaceSegue
A simple way to alternate between UIViewControllers in a UINavigationController stack, via a storyboard-compatible custom segue. For iOS using ARC.
wapuro-romaji-exercise
ryanartecona's Repositories
ryanartecona/Dotfiles
My very own!
ryanartecona/agda-pfpl
ryanartecona/wapuro-romaji-exercise
ryanartecona/agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
ryanartecona/alcotest
A lightweight and colourful test framework
ryanartecona/astring
Alternative String module for OCaml
ryanartecona/bs-pixi
ryanartecona/bs-react-native
BuckleScript bindings for React Native
ryanartecona/bs-unix-compat
ryanartecona/bucklescript
A backend for the OCaml compiler which emits JavaScript.
ryanartecona/cmdliner
Declarative definition of command line interfaces for OCaml
ryanartecona/docopt.rb
Parse command line arguments from nothing more than a usage message
ryanartecona/fmt
OCaml Format pretty-printer combinators
ryanartecona/hello-rust
ryanartecona/hodgkin
Some spiking neuron model experiments
ryanartecona/infinite-jest
ryanartecona/nixops
NixOps, the NixOS-based cloud deployment tool
ryanartecona/nixpkgs
Nix Packages collection
ryanartecona/ppx_deriving
Type-driven code generation for OCaml >=4.02
ryanartecona/pypi2nix
Generate Nix expressions for Python packages [maintainer=@seppeljordan]
ryanartecona/pypi2nix-overrides
Default overrides for pypi2nix [maintainer=@seppeljordan]
ryanartecona/rackspacecloud
LWRPs for Rackspace Cloud APIs
ryanartecona/reason
Reason layer around reason-mode for Spacemacs
ryanartecona/reason-language-server
A language server for reason, in reason
ryanartecona/reasongl-native
Native OpenGL backend for ReasonGL
ryanartecona/reprocessing
Experimental reason port of processing
ryanartecona/result
Compat result type
ryanartecona/rresult
Result value combinators for OCaml
ryanartecona/ryanartecona.github.io
ryanartecona/uchar
Uchar compatibility library