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/timekeeping-template
A script for generating reports from an hledger timekeeping project
bbarker/inigo
Inigo: A Package Manager for Idris2
bbarker/optics-exercises
bbarker/agda
Agda is a dependently typed programming language / interactive theorem prover.
bbarker/bbarker.github.io
My software-oriented personal site and blog
bbarker/cobratoolbox
The COnstraint-Based Reconstruction and Analysis Toolbox
bbarker/codeworld
Educational computer programming environment using Haskell
bbarker/docsite
Documention site for alpha testers
bbarker/documentation
Documentation for the PureScript language, compiler, and tools.
bbarker/fsnotify-conduit
Get filesystem notifications as a stream of events
bbarker/html2biblatex
A tiny bookmarklet for exporting web pages to BibLaTeX (all browsers / no installation).
bbarker/idris-concur-core
A currently experimental/WIP port of Concur to Idris2
bbarker/my-blog-posts
my blog posts, about purescript, nix, rust, haskell, etc.
bbarker/psimp
A PureScript's CoreImp AST for transpiling into dynamically typed languages
bbarker/pslua-ffi
bbarker/PureAdventure
An attempt at PureScript adventure.land bindings
bbarker/purescript
A strongly-typed language that compiles to JavaScript
bbarker/purescript-concur-spectacle
Spectacle lib bindings for Purescript-Concur
bbarker/purescript-concur-starter
A Starter kit for Purescript-Concur. Uses Parcel.
bbarker/purescript-dynlangs
DO NOT USE (work in progress, maybe)
bbarker/purescript-emo8
🍠 A functional 2D game engine that can create emoji games.
bbarker/purescript-matlab-examples
Example code for psmatlab (PureScript to MATLAB transpiler)
bbarker/purescript-matlab-ffi
MATLAB FFI for PureScript; based on this FFI for C++: https://github.com/andyarvanitis/purescript-native-cpp-ffi
bbarker/purescript-native
A native compiler backend for PureScript (via C++)
bbarker/purescript-nonbili-dom
Some helpful DOM functions
bbarker/RFCs
A repository for your Nim proposals.
bbarker/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
bbarker/stackage
"Stable Hackage": vetted consistent packages from Hackage
bbarker/tcpConduitServer
A TCP server using Conduit and STM
bbarker/unisonbase-playground
Unison base libraries