AncientenUnixen. Just a collection of others' Unix implementations for educational purposes, centering around v6/v7
22Visopsys. A GitHub mirror of Visopsys http://visopsys.org
21scalajs-mapbox. A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
11haskell-zio. A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
10IntelliJATS. An ATS Plugin for IntelliJ IDEA.
9timekeeping-template. A script for generating reports from an hledger timekeeping project
9voxel-vegetables. Farm as many resources as you can in the specified amount of time
5LWJake2. LWJGL port of Quake 2
5FALCON. Flux Assignment (with) LAD Convex Objectives (and) Normalization.
4bbarker-unison. Optimization in Unison
4inigo. Inigo: A Package Manager for Idris2
4nixos-in-docker. NixOS running in Docker. In development - not for production.
3bevy_serde_macros. Convenience macros for using serde in Bevy (currently bevy ecs only)
3Hypothesis-API. A Perl wrapper for the nascent hypothes.is web API, and loosely based on a Python package: https://github.com/rdhyee/hypothesisapi
3purescript-hodgepodge. A docker container and runner with a mix of build tools. Makes liberal use of host mounts.
3dotpenrose. My linux desktop environment using custom penrose tiling window manager and mostly rust software
2diz. Discord bot in ZIO and Scala 3
2M-N-K-Tic-Tac-Toe. A simple command-line tic-tac-toe game with variable board sizes and winning lengths. Prototype is written in C, while primary implementation will be written in ATS.
2ProjectGists. Basically gists, but where a github gist isn't enough
1mhtml-todo. Scala
1SME. Wrappers and examples for using JME3 (JMonkeyEngine 3) in Scala
1LearningAgda. Agda learning repo with some handy nix expressions
1optics-exercises. Haskell
1SoftwareTools. Rust
1purescript-concur-adventure. Choose your own adventure, with Concur
1verified-left-pad. A verified memory-safe correct implementation of left-pad in ats2
1scala-maven-jmh-bench-demo. Scala fork and port of https://github.com/peterszatmary/jmh-benchmark-demo
1purescript-concur-formless. A form library for Concur
1hypothesisapi. A Python wrapper for the nascent hypothes.is web API
1hico. Haskell
1dotfiles. Nushell
1GSL. Fork of GNU GSL: savannah.gnu.org
1brandon. mostly unix user configuration files
1