Pinned Repositories
AncientenUnixen
Just a collection of others' Unix implementations for educational purposes, centering around v6/v7
FALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
haskell-zio
A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
IntelliJATS
An ATS Plugin for IntelliJ IDEA.
RustyRogue
scalajs-mapbox
A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
timekeeping-template
A script for generating reports from an hledger timekeeping project
Visopsys
A GitHub mirror of Visopsys http://visopsys.org
voxel-vegetables
Farm as many resources as you can in the specified amount of time
bbarker's Repositories
bbarker/SME
Wrappers and examples for using JME3 (JMonkeyEngine 3) in Scala
bbarker/acme
My collection of Acme notes and scripts
bbarker/active-forks
Find active github forks of a repo https://git.io/vSnrC
bbarker/atspkg
Build tool for ATS.
bbarker/edit-distance
Levenshtein edit distance, packaged for ATS
bbarker/email-replace
Simple ammonite script to replace e-mail addresses with randomized email addresses
bbarker/felix
The Felix Programming Language
bbarker/fsh
fsh, currently an experimental fork of es, the extensible shell: https://github.com/wryun/es-shell
bbarker/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
bbarker/HaskellAndIdrisNotes
Notes on learning Haskell and Idris
bbarker/hnes
:video_game: NES Emulator written in Haskell
bbarker/Idris-dev
A Dependently Typed Functional Programming Language
bbarker/jenga
Generate a cabal freeze file from a stack.yaml
bbarker/M2
The primary source code repository for Macaulay2
bbarker/malcolm-wallace-universe
Malcolm Wallace's packages
bbarker/MazesOfMonad
simple game
bbarker/mill
Your shiny new Java/Scala build tool!
bbarker/mill-multi-project
bbarker/monads
Monads for viewtypes in ATS
bbarker/nix-purescript-example-project
Nix Purescript example project
bbarker/ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
bbarker/purescript-sdom
An experiment in replacing the virtual DOM and avoiding diffing
bbarker/purescript-webgl2-raw
bbarker/PythyFP
A functional programing library for Python
bbarker/pyxel
A retro game engine for Python
bbarker/singularity
Singularity: Application containers for Linux
bbarker/singularityware.github.io
base documentation site for Singularity software
bbarker/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
bbarker/stm-conduit
STM-based channels for conduits.
bbarker/yi
The Haskell-Scriptable Editor