- On MetaCPAN: https://metacpan.org/author/BBARKER
- On GitHub: https://github.com/bbarker
- Blog: bbarker.github.io
- Rank: 40
- Followers: 31
- Public Repos: 276
- Public Gists: 64
- Languages:
- Matlab (6)
- PureScript (17)
- ATS (13)
- PostScript (1)
- Ruby (3)
- Assembly (1)
- Jupyter Notebook (2)
- Nix (4)
- Prolog (1)
- Rust (1)
- TeX (5)
- Emacs Lisp (4)
- Coq (2)
- JavaScript (7)
- CSS (5)
- HTML (5)
- PHP (1)
- TypeScript (3)
- MATLAB (1)
- CoffeeScript (1)
- Idris (1)
- Scala (58)
- C++ (4)
- Python (9)
- Shell (11)
- Kotlin (2)
- C (14)
- Dhall (6)
- Java (18)
- Perl (5)
- Haskell (32)
- Location: Ithaca, NY
- Company: Cornell University
- Hireable: yes
Repositories
- Description: A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
- Stars: 11
- Forks: 3
- Open Issues: 4
- Language: Scala
- Description: A GitHub mirror of Visopsys http://visopsys.org
- Stars: 9
- Forks: 1
- Language: C
- Description: Flux Assignment (with) LAD Convex Objectives (and) Normalization.
- Stars: 4
- Forks: 5
- Open Issues: 4
- Language: C
- Description: LWJGL port of Quake 2
- Stars: 4
- Forks: 0
- Language: Java
- Description: NixOS running in Docker. In development - not for production.
- Stars: 4
- Forks: 0
- Open Issues: 3
- Language: Shell
- Description: A Perl wrapper for the nascent hypothes.is web API, and loosely based on a Python package: https://github.com/rdhyee/hypothesisapi
- Stars: 3
- Forks: 1
- Open Issues: 6
- Language: Perl
- Description: Wrappers and examples for using JME3 (JMonkeyEngine 3) in Scala
- Stars: 2
- Forks: 3
- Open Issues: 4
- Language: Scala
- Description: A port in progress of NetHack 3.4.3 to Plan9. The aim is to use the native Plan9 facilities
- Stars: 1
- Forks: 0
- Open Issues: 1
- Language: C
- Description: ATS2: Unleashing the Potentials of Types and Templates
- Stars: 1
- Forks: 0
- Language: ATS
- Description: ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
- Stars: 1
- Forks: 0
- Language: C
- Description: Emacs mode for ATS2
- Stars: 1
- Forks: 1
- Language: Emacs Lisp
- Description: Some simple examples for learning ATS.
- Stars: 1
- Forks: 1
- Language: ATS
- Description: mostly unix user configuration files
- Stars: 1
- Forks: 0
- Language: Emacs Lisp
- Description: Some slides and examples with a Cornell University theme using the LaTeX Beamer documentclass.
- Stars: 1
- Forks: 3
- Language: TeX
- Description: Fork of GNU GSL: savannah.gnu.org
- Stars: 1
- Forks: 0
- Language: C
- Description: A Python wrapper for the nascent hypothes.is web API
- Stars: 1
- Forks: 0
- Language: Python
- Description: 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.
- Stars: 1
- Forks: 1
- Language: ATS
- Description: Basically gists, but where a github gist isn't enough
- Stars: 1
- Forks: 2
- Open Issues: 8
- Language: Scala
- Description: A form library for Concur
- Stars: 1
- Forks: 0
- Language: PureScript
- Description: A script for generating reports from an hledger timekeeping project
- Stars: 1
- Forks: 0
- Open Issues: 2
- Language: Haskell
- Description: A verified memory-safe correct implementation of left-pad in ats2
- Stars: 1
- Forks: 0
- Language: ATS
- Description: My collection of Acme notes and scripts
- Stars: 0
- Forks: 0
- Language: Shell
- Description: Acme mouse-chording for Emacs
- Stars: 0
- Forks: 0
- Description: acme2k - text editor fo' all the cool cats who ain't 'fraid of no mice
- Stars: 0
- Forks: 0
- Language: C
- Description: A text adventure game
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: The Agda Package Manager
- Stars: 0
- Forks: 0
- Description: This repository is primarily for testing ATS2 on various platforms
- Stars: 0
- Forks: 0
- Language: ATS
- Description: A clone of the ATS wiki, which can be found at https://github.com/githwxi/ATS-Postiats/wiki
- Stars: 0
- Forks: 0
- Description: ATS language support for VS Code
- Stars: 0
- Forks: 0
- Description: Refactoring ats-lang.org
- Stars: 0
- Forks: 0
- Language: CSS
- Description: Implementing ATS3 in ATS2
- Stars: 0
- Forks: 0
- Language: ATS
- Description: ATS2 Contrib - forked from sf.net/p/ats2-lang-contrib/
- Stars: 0
- Forks: 0
- Language: JavaScript
- Description: A tiny 32 bit kernel written in ATS
- Stars: 0
- Forks: 0
- Language: Assembly
- Description: 3D vector algebra library for ATS
- Stars: 0
- Forks: 0
- Language: ATS
- Description: Build tool for ATS.
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: friendly little parsers
- Stars: 0
- Forks: 0
- Language: Scala
- Description: A community driven list of useful Scala libraries, frameworks and software.
- Stars: 0
- Forks: 0
- Language: Python
- Description: A (periodically) updated Computer Language Benchmarks Game with ATS examples
- Stars: 0
- Forks: 0
- Open Issues: 4
- Language: PHP
- Description: Bringing it Back Calculator: My effort to make a calculator that I will actually want to use a few times each week.
- Stars: 0
- Forks: 0
- Open Issues: 3
- Language: ATS
- Description: Reactive data-binding for Scala
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Bioinformatics for the Scala programming language
- Stars: 0
- Forks: 0
- Language: Scala
- Description: BlockSmith is currently an experiment in the ways of MineCraft-like voxel games.
- Stars: 0
- Forks: 1
- Open Issues: 11
- Language: Scala
- Description: BOINC in a docker container, with CUDA support
- Stars: 0
- Forks: 0
- Language: Shell
- Description: A textbook on informal homotopy type theory
- Stars: 0
- Forks: 0
- Language: TeX
- Description: CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala
- Stars: 0
- Forks: 0
- Language: Scala
- Description: An experiment building a minimal Linux distribution using CBT
- Stars: 0
- Forks: 0
- Description: The ALICE/ALICEBOT/CHARLIE/CHARLIEBOT
- Stars: 0
- Forks: 0
- Language: Java
- Description: Collection(s) of scripts mostly built around the COBRA Toolbox.
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Matlab
- Description: A fork of a fork ( https://github.com/rmtfleming/cobratoolbox ) of the cobratoolbox.
- Stars: 0
- Forks: 0
- Language: Matlab
- Description: An easier way to do collections in Cycle.js
- Stars: 0
- Forks: 0
- Language: JavaScript
- Description: Documentation for Concur
- Stars: 0
- Forks: 0
- Description: A repository for sharing examples to be debugged
- Stars: 0
- Forks: 0
- Open Issues: 3
- Language: Dhall
- Description: Examples and demos (and some debugging examples) for PureScript-Concur
- Stars: 0
- Forks: 0
- Open Issues: 4
- Language: Dhall
- Description: A streaming data library
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Automatically exported from code.google.com/p/cornellmap
- Stars: 0
- Forks: 0
- Language: Java
- Description: Automatically exported from code.google.com/p/cpfa
- Stars: 0
- Forks: 0
- Language: Python
- http://csvkit.rtfd.org/
- Description: A suite of utilities for converting to and working with CSV, the king of tabular file formats.
- Stars: 0
- Forks: 0
- Language: Prolog
- Description: Scala sample code for Bartosz Milewski's CT for Programmers
- Stars: 0
- Forks: 0
- Language: Scala
- Description: User Interface for Camelot Unchained
- Stars: 0
- Forks: 0
- Description: My dissertation on constraint based models and epistasis.
- Stars: 0
- Forks: 0
- Language: PostScript
- Description: Run IntelliJ IDEA inside a Docker container
- Stars: 0
- Forks: 0
- Language: Shell
- Description: An reproducible development environment using Docker, based on https://github.com/kurron/docker-intellij and nixpkgs
- Stars: 0
- Forks: 0
- Language: Shell
- Description: A scalable OpenMPI runtime container for Docker
- Stars: 0
- Forks: 0
- Language: Python
- Description: Documentation for the PureScript language, compiler, and tools.
- Stars: 0
- Forks: 0
- Description: Formalization of the Dependent Object Types (DOT) calculus
- Stars: 0
- Forks: 0
- Language: Coq
- Description: Automatically exported from code.google.com/p/dreamcook
- Stars: 0
- Forks: 0
- Description: Simple testing toolkit (extracted from Unison)
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Levenshtein edit distance, packaged for ATS
- Stars: 0
- Forks: 0
- Language: ATS
- Description: Simple ammonite script to replace e-mail addresses with randomized email addresses
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Scala
- Description: ENSIME support for Visual Studio Code
- Stars: 0
- Forks: 0
- Language: TypeScript
- Description: Android 2048 game using Yampa FRP library in Eta
- Stars: 0
- Forks: 0
- Open Issues: 4
- Language: Haskell
- Description: A minimal example for a REST-API-server written with servant and a test-suite using servant-client
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: The Felix Programming Language
- Stars: 0
- Forks: 0
- Language: C
- Description: fsh, currently an experimental fork of es, the extensible shell: https://github.com/wryun/es-shell
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: C
- Description: Get filesystem notifications as a stream of events
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Simple chat web application demoing Akka, spray, Scala and AngularJS
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Sandbox for working with Gradle
- Stars: 0
- Forks: 0
- Language: C
- Description: A docker image for gridcoinresearchd
- Stars: 0
- Forks: 0
- Description: Making Camera and movment like GW game
- Stars: 0
- Forks: 0
- Language: Java
- Description: A little Doom-like 2.5 game engine
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: A point and click adventure game for young children
- Stars: 0
- Forks: 0
- Open Issues: 6
- Language: Kotlin
- Description: The engine for haskell ide-integration. Not an IDE
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
- Stars: 0
- Forks: 0
- Open Issues: 6
- Language: Haskell
- Description: Notes on learning Haskell and Idris
- Stars: 0
- Forks: 0
- Language: Idris
- Description: jMonkeyEngine's HelloCollision tutorial implemented as a Gradle project
- Stars: 0
- Forks: 0
- Language: Java
- Description: Haskell interface to MineCraft-Pi
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: :video_game: NES Emulator written in Haskell
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: A coherent 3d noise library in Haskell.
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: a Perl Moose HTML form handler
- Stars: 0
- Forks: 0
- Language: Perl
- Description: Some very simple tests and experiments for hypothes.is: https://hypothes.is/
- Stars: 0
- Forks: 0
- Language: HTML
- Description: Experimental C++11 backend for Idris
- Stars: 0
- Forks: 0
- Language: C++
- Description: Plugin adding Language Server Protocol support for IntelliJ
- Stars: 0
- Forks: 0
- Language: Scala
- http://ipython.org
- Description: Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
- Stars: 0
- Forks: 0
- Description: Online Java to Scala converter
- Stars: 0
- Forks: 0
- Language: HTML
- Description: A simple way to use Github Oauth to serve a protected jekyll site to your GitHub organization
- Stars: 0
- Forks: 0
- Language: Ruby
- Description: Generate a cabal freeze file from a stack.yaml
- Stars: 0
- Forks: 0
- Description: Random Kojo (Scala) examples
- Stars: 0
- Forks: 0
- Description: A layer on top of JavaFX to make better use of Kotlin's features.
- Stars: 0
- Forks: 0
- Language: Kotlin
- Description: LaTeX MWEs and Tests
- Stars: 0
- Forks: 0
- Language: TeX
- Description: Agda learning repo with some handy nix expressions
- Stars: 0
- Forks: 0
- Language: Nix
- Description: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
- Stars: 0
- Forks: 0
- Language: Ruby
- Description: The primary source code repository for Macaulay2
- Stars: 0
- Forks: 0
- Language: C++
- Description: macmemo examples (https://github.com/kciesielski/macmemo), with Maven
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Scala macro-based frontend for OpenGL for structured and efficient graphics code.
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Collection of ATS goodness
- Stars: 0
- Forks: 0
- Language: ATS
- Description: Malcolm Wallace's packages
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Scala web robot inspired by WWW::Mechanize
- Stars: 0
- Forks: 0
- Language: Scala
- Description: A METAdata package for Journals to support External Linked Objects
- Stars: 0
- Forks: 0
- Language: TeX
- Description: TodoMVC with Akka-http, Scala.js, Autowire and Monadic-HTML
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Monads for viewtypes in ATS
- Stars: 0
- Forks: 0
- Language: ATS
- Description: Monoids in ATS
- Stars: 0
- Forks: 0
- Language: ATS
- Description: my blog posts, about purescript, nix, rust, haskell, etc.
- Stars: 0
- Forks: 0
- Description: Just another Minecraft clone.
- Stars: 0
- Forks: 0
- Language: Java
- Description: NACHOSj fork (educational OS and VM): https://en.wikipedia.org/wiki/Not_Another_Completely_Heuristic_Operating_System; http://www-inst.eecs.berkeley.edu/~cs162/sp12/Nachos/
- Stars: 0
- Forks: 0
- Language: Java
- Description: The simplest and smallest WYSIWYG text editor for web, with no dependencies ported to ScalaJS!
- Stars: 0
- Forks: 0
- Language: Scala
- Description: From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Nix Purescript example project
- Stars: 0
- Forks: 0
- Language: Nix
- Description: A nix overlay containing a collection of node versions and associated tools
- Stars: 0
- Forks: 0
- Language: Nix
- Description: Sources for nixos.org
- Stars: 0
- Forks: 0
- Language: Shell
- Description: Nix Packages collection
- Stars: 0
- Forks: 0
- Language: Nix
- https://nix.ci
- Description: @grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
- Stars: 0
- Forks: 0
- Language: Rust
- Description: Optimus is a mathematical programming library for Scala.
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Fork of pieceoftheloaf's XScalaWT project which is a Scala DSL for Eclipse RCP and SWT applications
- Stars: 0
- Forks: 1
- Language: Scala
- Description: PureScript packages for Psc-Package and Spago
- Stars: 0
- Forks: 0
- Language: Dhall
- Description: Perl5 plugin for Intellij-IDEA
- Stars: 0
- Forks: 0
- Language: Java
- Description: Generalized Perlin noise in n-dimensional spaces
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Parallel and Parametric Alignment tools are primarily designed for exploring questions about alignment methods, though they may also be useful to biologists. https://code.google.com/p/polyalign/ is the original svn repository (for historical purposes)
- Stars: 0
- Forks: 0
- Language: Shell
- Description: Proving Ground: Tools for Automated Mathematics
- Stars: 0
- Forks: 0
- Language: Jupyter Notebook
- Description: An attempt at PureScript adventure.land bindings
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: Community curated list of companies that use Purescript
- Stars: 0
- Forks: 0
- Description: A Starter kit for Purescript-Concur. Uses Parcel.
- Stars: 0
- Forks: 0
- Language: Dhall
- Description: Fork of purescript-enums with SmallBounded types; Operations for sequentially ordered types
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: Functions for working with homogeneous JavaScript objects
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: Maps and folds for heterogeneous data types.
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: A docker container and runner with a mix of build tools. Makes liberal use of host mounts.
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Shell
- Description: Example code for psmatlab (PureScript to MATLAB transpiler)
- Stars: 0
- Forks: 0
- Language: Dhall
- Description: MATLAB FFI for PureScript; based on this FFI for C++: https://github.com/andyarvanitis/purescript-native-cpp-ffi
- Stars: 0
- Forks: 0
- Language: MATLAB
- Description: React Bindings for PureScript
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: Incrementally and safely fill up records
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: An experiment in replacing the virtual DOM and avoiding diffing
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: A lightweight library that makes use of the browser's Javascript RegExp object and DOM to validate URIs
- Stars: 0
- Forks: 0
- Open Issues: 2
- Language: PureScript
- Description: Type definitions and low level interface implementations for the W3C DOM spec
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: Demos and experiments for WebGL2 in PureScript
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Shell
- Description: Utility class for operating on and combining XPath strings
- Stars: 0
- Forks: 0
- Language: PureScript
- Description: A functional programing library for Python
- Stars: 0
- Forks: 0
- Language: Python
- Description: A retro game engine for Python
- Stars: 0
- Forks: 0
- Language: Python
- Description: Sample quests and such based on the Tasks module
- Stars: 0
- Forks: 0
- Language: Java
- Description: A repository for your Nim proposals.
- Stars: 0
- Forks: 0
- Description: Haskell representation of the RISC-V instruction set architecture
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: point and click rpg game editor and engine
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Scala port of Jake2, which is a java port of idtech2 - the Quake2 engine.
- Stars: 0
- Forks: 0
- Language: Java
- Description: An sbt plugin that integrates Eta into Scala projects.
- Stars: 0
- Forks: 0
- Language: Scala
- Description: An sbt / lwjgl plugin
- Stars: 0
- Forks: 0
- Language: Scala
- Description: game engine written in Scala
- Stars: 0
- Forks: 0
- Language: Scala
- Description: statically typed dom wrappers for scala-js
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Example application built with Scala.js
- Stars: 0
- Forks: 0
- Language: HTML
- Description: Source for http://www.scala-js.org/
- Stars: 0
- Forks: 0
- Language: JavaScript
- Description: Scala fork and port of https://github.com/peterszatmary/jmh-benchmark-demo
- Stars: 0
- Forks: 0
- Language: Scala
- Description: JSON schema generation, validation and de-serialization for Scala classes
- Stars: 0
- Forks: 0
- Language: Scala
- Description: A type-parametric unboxed Option type for Scala
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Scala XML Diff
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Ace facade types for Scala.js
- Stars: 0
- Forks: 0
- Language: Scala
- Description: A small example project on how to cross compile Scala.js and Scala JVM
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Scala runtime library module for Terasology.
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Website and documentation.
- Stars: 0
- Forks: 0
- Language: CSS
- Description: ScalaTags is a small XML/HTML construction library for Scala.
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Scala
- Description: A Scala wrapper for the nascent hypothes.is web API. Based on the Perl module: https://github.com/bbarker/Hypothesis-API
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Scala
- Description: Haskell bindings to the SDL2 library
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: A web-based collaborative LaTeX editor
- Stars: 0
- Forks: 0
- Language: CoffeeScript
- Description: Calculate similarity between documents using TF-IDF weights
- Stars: 0
- Forks: 0
- Language: Ruby
- Description: A repo with a slightly modified project of that found at https://confluence.jetbrains.com/display/IntelliJIDEA/Custom+Language+Support
- Stars: 0
- Forks: 0
- Language: Java
- Description: Scala Monkey Engine
- Stars: 0
- Forks: 0
- Language: Scala
- http://spacemacs.org
- Description: A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
- Stars: 0
- Forks: 0
- Language: Emacs Lisp
- Description: 🍝 PureScript package manager and build tool powered by Dhall and package-sets
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: A simple project intended to demo spark and get developers up and running quickly
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Bare-bones unit testing library for ATS
- Stars: 0
- Forks: 0
- Language: ATS
- Description: STM-based channels for conduits.
- Stars: 0
- Forks: 0
- Description: Java and Scala examples showing how to embed JavaFX components in an SWT application
- Stars: 0
- Forks: 0
- Open Issues: 1
- Language: Java
- Description: A TCP server using Conduit and STM
- Stars: 0
- Forks: 0
- Language: Haskell
- http://terasology.org/
- Description: Terasology is an open source project started by Benjamin "begla" Glatzel to research procedural terrain generation and efficient rendering techniques in Java using the LWJGL. The engine uses a block-based voxel-like approach as seen in Minecraft. After proving itself as a solid tech demo begla was joined at first by Anton "small-jeeper" Kireev and Rasmus "Cervator" Praestholm and a full-fledged game concept was born. Our goal is a game that pays ample tribute to Minecraft in initial look and origin, but stakes out its own niche by adopting the NPC-helper and caretaker feel from such games as Dwarf Fortress and Dungeon Keeper, while striving for added depth and sophistication in the foundation systems akin to DF.
- Stars: 0
- Forks: 0
- Language: Java
- Description: A work-in-progress example of server-side implementation of a tiny massive multi-player online game, implemented with Scala 2.10.2 and Akka 2.2
- Stars: 0
- Forks: 0
- Language: Scala
- Description: TodoMVC example implemented in Cycle.js and TypeScript
- Stars: 0
- Forks: 0
- Language: TypeScript
- Description: Scripts and results from gene expression methods assessment paper
- Stars: 0
- Forks: 0
- Language: Matlab
- Description: An asynchronous non-blocking Scala client for both the Twitter Rest and Streaming API
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Testing use cases for twitter-server (TwitterServer class): http://twitter.github.io/twitter-server/
- Stars: 0
- Forks: 0
- Language: Scala
- Description: A simple project for getting started with TypeScript in Cycle.js, using Webpack
- Stars: 0
- Forks: 0
- Language: TypeScript
- Description: Unison base libraries
- Stars: 0
- Forks: 0
- Description: An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: Flexible Scala code linting tool
- Stars: 0
- Forks: 0
- Language: Scala
- Description: Scripts for the DREAM8 WholeCell modeling competition.
- Stars: 0
- Forks: 0
- Language: Matlab
- Description: A minimalistic, mostly text-based status bar
- Stars: 0
- Forks: 0
- Description: The core of xmonad, a small but functional ICCCM-compliant tiling window manager
- Stars: 0
- Forks: 0
- Description: Contributed modules for xmonad
- Stars: 0
- Forks: 0
- Description: The Haskell-Scriptable Editor
- Stars: 0
- Forks: 0
- Language: Haskell
- Description: The Yamagi Quake II client
- Stars: 0
- Forks: 0
- Language: C
