Pinned Repositories
access_access
Simple project to convert Access tables (.accdb) to CSV
active_merchant
Active Merchant is a simple payment abstraction library used in and sponsored by Shopify. It is written by Tobias Luetke, Cody Fauser, and contributors. The aim of the project is to feel natural to Ruby users and to abstract as many parts as possible away from the user to offer a consistent interface across all supported gateways.
acts_as_list
ActsAsList plugin
acts_as_versioned
ActiveRecord plugin for versioning your models.
classifier
A general classifier module to allow Bayesian and other types of classifications.
prawn
Fast, Nimble PDF Writer for Ruby
prawn-forms
A fork of yob's prawn-forms, usable with Prawn 0.10.
simple_memoize
Ultra lightweight gem/plugin to do in-memory caching of any Ruby method
bradediger's Repositories
bradediger/cpmpy
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
bradediger/agda
Agda is a dependently typed programming language / interactive theorem prover.
bradediger/corrode
C to Rust translator
bradediger/dotfiles-1
bradediger/emacs.d-2020
My literate emacs config. A living document.
bradediger/esqueleto
Bare bones, type-safe EDSL for SQL queries on persistent backends.
bradediger/fraxl
bradediger/hashable
A class for types that can be converted to a hash value
bradediger/home-manager
Manage a user environment using Nix
bradediger/idris-bytes
FFI-based byte buffers for Idris
bradediger/keenser
A Sidekiq-compatible Haskell background worker system
bradediger/keras
Deep Learning for humans
bradediger/mixduty
An elixir client for PagerDuty's API v2
bradediger/nixpkgs
Nix Packages collection
bradediger/paperclip
Easy file attachment management for ActiveRecord
bradediger/pmap
Convenience Parallel Processing methods for Ruby
bradediger/poltergeist
A PhantomJS driver for Capybara
bradediger/prax.cr
Rack proxy server for development (Crystal port)
bradediger/Principia
𝑛-Body and Extended Body Gravitation for Kerbal Space Program
bradediger/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
bradediger/purescript-mode
Emacs mode for PureScript
bradediger/react-select
A Select control built with and for React JS
bradediger/redux-devtools
DevTools for Redux with hot reloading, action replay, and customizable UI
bradediger/reflex-material
Haskell Reflex-Dom wrapper for the Material Components Web project
bradediger/ruby-cbc
A wrapper around Coin-Or Cbc Integer Linear Programming solver
bradediger/stack-nix-dependency-problem
bradediger/static-haskell-nix
Example showing how to link a fully static Haskell binary with nix and musl; originally a fork of https://github.com/vaibhavsagar/experiments
bradediger/themelios
Bootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process of a NixOS zfs-on-root system using any NixOS livedisk with an internet connection and your git repository. Themelios is flexible with many configuration options and allows for unique, per-machine customization.
bradediger/wreq
bradediger/yew
Rust framework for building client web apps