Pinned Repositories
cellml-core-spec
CellML Core Specification Draft Development
cellml-testbed
A test implementation of draft versions of CellML 1.2
cellml_meta_1_1
This repository tracks the development of the CellML Metadata 1.1 draft specification
cgrspy
Python bindings for the CellML API based on top of the CellML Generics and Reflection Service (CGRS)
enable-unsigned-firefox-addons
Enable Unsigned Firefox Addons
happindicator
Haskell bindings for libappindicator
hs-bcrypt
Haskell bindings for bcrypt
http4idris
An experimental HTTP framework for Idris
proofsweeper
Play Minesweeper by formally proving your moves in Idris
sbml2cellml
A program for converting from SBML to CellML
A1kmm's Repositories
A1kmm/proofsweeper
Play Minesweeper by formally proving your moves in Idris
A1kmm/hs-bcrypt
Haskell bindings for bcrypt
A1kmm/http4idris
An experimental HTTP framework for Idris
A1kmm/enable-unsigned-firefox-addons
Enable Unsigned Firefox Addons
A1kmm/network-interfacerequest
Haskell bindings for the ifreq structure used to query network status using ioctl
A1kmm/bubblewrap
Bubblewrap is a Command Line Interface (CLI) that helps developers to create a Project for an Android application that launches an existing Progressive Web App (PWAs) using a Trusted Web Activity.
A1kmm/concourse-governance
Documentation and automation for the Concourse project governance model.
A1kmm/conduit-resumablesink
Support for conduits where use of a sink can be resumed after the source finished
A1kmm/dependently-typed-revolution-lambdajam
Notes and videos for Lambda Jam 2019 workshop: The Dependently Typed Revolution
A1kmm/double-conversion
A fast Haskell library for converting between double precision floating point numbers and text strings. It is implemented as a binding to the V8-derived C++ double-conversion library.
A1kmm/freer-effects
An implementation of "Freer Monads, More Extensible Effects".
A1kmm/generalsio-ai
An AI client for a multiplayer game
A1kmm/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
A1kmm/Idris-dev
A Dependently Typed Functional Programming Language
A1kmm/lemmy-docs
A1kmm/libfitbit
Library for accessing and transfering data from the Fitbit health device
A1kmm/polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
A1kmm/polysemy-Extra
effects for polysemy which are too big or specific to fit in the zoo.
A1kmm/polysemy-zoo
:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
A1kmm/r_auckland_layout
Stylesheet and other assets for r/auckland
A1kmm/redditdespammer
Moderator bot to remove spam from reddit
A1kmm/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
A1kmm/sbt-mixversion-test
A small example of how to write an sbt code generator using a different Scala version to what sbt is using
A1kmm/slick
Scala Language Integrated Connection Kit
A1kmm/stackage
"Stable Hackage": vetted consistent packages from Hackage
A1kmm/usbrelease
A simple command line tool for Linux to release USB devices from their kernel driver
A1kmm/verdi
A framework for formally verifying distributed systems implementations in Coq
A1kmm/Web-Environment-Integrity
A1kmm/web-ext
A command line tool to help build, run, and test web extensions
A1kmm/website
The source for scala-sbt.org