bbarker Goto Github PK

9hack

A port in progress of NetHack 3.4.3 to Plan9. The aim is to use the native Plan9 facilities

acme

My collection of Acme notes and scripts

acme-mouse

Acme mouse-chording for Emacs

acme2k

acme2k - text editor fo' all the cool cats who ain't 'fraid of no mice

active-forks

Find active github forks of a repo https://git.io/vSnrC

adventoria

A text adventure game

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-ecosystem

agda-pkg

The Agda Package Manager

alsa-rs

Thin but safe ALSA wrappers for Rust

ammonite

Scala Scripting

ancientenunixen

Just a collection of others' Unix implementations for educational purposes, centering around v6/v7

android

GitHub Android App

ats-postiats

ATS2: Unleashing the Potentials of Types and Templates

ats-postiats-contrib

ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

ats-postiats-test

This repository is primarily for testing ATS2 on various platforms

ats-postiats-wiki

A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki

ats-vscode

ATS language support for VS Code

ats-website

Refactoring ats-lang.org

ats-xanadu

Implementing ATS3 in ATS2

ats2-lang-contrib-code

ATS2 Contrib - forked from sf.net/p/ats2-lang-contrib/

ats2-mode

Emacs mode for ATS2

atsboot

A tiny 32 bit kernel written in ATS

atscntrb-as-ats3d

3D vector algebra library for ATS

atspkg

Build tool for ATS.

atstest

Some simple examples for learning ATS.

atto

friendly little parsers

awesome-concur

A curated list of awesome Concur resources and related projects.

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

awesome-zio

A big collection of useful ZIO links