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/bbarker-unison
Optimization in Unison
bbarker/LearningAgda
Agda learning repo with some handy nix expressions
bbarker/purescript-concur-adventure
Choose your own adventure, with Concur
bbarker/awesome-zio
A big collection of useful ZIO links
bbarker/bracket-lib
Fork of bracket-lib with some fixes: The Roguelike Toolkit (RLTK), implemented for Rust.
bbarker/concur-ps-debug
A repository for sharing examples to be debugged
bbarker/concur-webpack-template
Examples and demos (and some debugging examples) for PureScript-Concur
bbarker/coreutils
Cross-platform Rust rewrite of the GNU coreutils
bbarker/dotty
Research platform for new language concepts and compiler technologies for Scala.
bbarker/functional-design
Exercises for the course 'Functional Design by John A. De Goes
bbarker/google-drive-ocamlfuse
FUSE filesystem over Google Drive
bbarker/jvm-effect-analyzer
WIP - do not use - Static analysis aimed at discovering hidden effects
bbarker/LFS
Linux From Scratch
bbarker/mal
mal - Make a Lisp
bbarker/oi-docs
Work in progress OpenIndiana documentation
bbarker/oi-userland
Unified build system for OpenIndiana distribution components
bbarker/protips
Just notes, really
bbarker/purescript-fitbit
Fitbit SDK API for PureScript
bbarker/purescript-url-validator
A lightweight library that makes use of the browser's Javascript RegExp object and DOM to validate URIs
bbarker/repos
bbarker/rust-gitlab
bbarker/rusty-vulkan-first-triangle
bbarker/scala-callgraph-zio
WIP: generate "call graphs" for ZIO programs
bbarker/scala-purity-check
WIP, do not use
bbarker/scala-zio-concur
WIP implementation of Concur in Scala/ZIO
bbarker/tapir
Declarative, type-safe web endpoints library
bbarker/v-playground
learning and experimenting with V lang
bbarker/zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
bbarker/zio-diffx
A tiny library for using diffx with zio-test
bbarker/zionomicon-exs