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/AncientenUnixen
Just a collection of others' Unix implementations for educational purposes, centering around v6/v7
bbarker/haskell-zio
A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
bbarker/purescript-hodgepodge
A docker container and runner with a mix of build tools. Makes liberal use of host mounts.
bbarker/inigo
Inigo: A Package Manager for Idris2
bbarker/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
bbarker/BlockSmith
BlockSmith is currently an experiment in the ways of MineCraft-like voxel games.
bbarker/awesome-concur
A curated list of awesome Concur resources and related projects.
bbarker/book-1
The Rust Programming Language
bbarker/cont-append
Continuous data appender; can be used for safe log retention.
bbarker/idris-concur-core
A currently experimental/WIP port of Concur to Idris2
bbarker/Idris2
A purely functional programming language with first class types
bbarker/install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
bbarker/LindonMinecraftServers
bbarker/metajelo
A METAdata package for Journals to support External Linked Objects
bbarker/metajelo-ui-css-classes
bbarker/nixpkgs
Nix Packages collection
bbarker/notify
🔭 Cross-platform filesystem notification library for Rust.
bbarker/psimp
A PureScript's CoreImp AST for transpiling into dynamically typed languages
bbarker/purescript-concur-core
Concur UI library for Purescript. Core framework.
bbarker/purescript-concur-react
Concur UI Framework for Purescript
bbarker/purescript-concur-vdom
Purescript Concur - Halogen-VDom backend. [WORK IN PROGRESS]
bbarker/purescript-dynamic-buffer
Growing Buffers
bbarker/purescript-either-extra
Some extra utilities for the Either type
bbarker/purescript-option
bbarker/registry
bbarker/tailcall
Safe, zero-cost tail recursion for stable Rust
bbarker/time
A time library
bbarker/WTInterp
Well typed interpreter from Idris 2 docs, with Inigo packaging
bbarker/zio-prelude
A standard library for Haskell
bbarker/zio3d
An experimental 3D game built with ZIO and OpenGL (LWJGL)