There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Visopsys
A GitHub mirror of Visopsys http://visopsys.orgIntelliJATS
An ATS Plugin for IntelliJ IDEA.AncientenUnixen
Just a collection of others' Unix implementations for educational purposes, centering around v6/v7haskell-zio
A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)timekeeping-template
A script for generating reports from an hledger timekeeping projectvoxel-vegetables
Farm as many resources as you can in the specified amount of timeFALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.bbarker-unison
Optimization in Unisonnixos-in-docker
NixOS running in Docker. In development - not for production.Hypothesis-API
A Perl wrapper for the nascent hypothes.is web API, and loosely based on a Python package: https://github.com/rdhyee/hypothesisapipurescript-hodgepodge
A docker container and runner with a mix of build tools. Makes liberal use of host mounts.diz
Discord bot in ZIO and Scala 3inigo
Inigo: A Package Manager for Idris2scala-maven-jmh-bench-demo
Scala fork and port of https://github.com/peterszatmary/jmh-benchmark-demoSoftwareTools
GSL
Fork of GNU GSL: savannah.gnu.orgoptics-exercises
brandon
mostly unix user configuration filesProjectGists
Basically gists, but where a github gist isn't enoughLearningAgda
Agda learning repo with some handy nix expressionsATStest
Some simple examples for learning ATS.9hack
A port in progress of NetHack 3.4.3 to Plan9. The aim is to use the native Plan9 facilitiespurescript-concur-adventure
Choose your own adventure, with ConcurM-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.SME
Wrappers and examples for using JME3 (JMonkeyEngine 3) in ScalaLove Open Source and this site? Check out how you can help us