• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C
  • License
    Other
  • Created over 11 years ago
  • Updated over 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Flux Assignment (with) LAD Convex Objectives (and) Normalization.

More Repositories

1

Visopsys

A GitHub mirror of Visopsys http://visopsys.org
C
13
star
2

scalajs-mapbox

A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
Scala
11
star
3

IntelliJATS

An ATS Plugin for IntelliJ IDEA.
Java
9
star
4

AncientenUnixen

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

haskell-zio

A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)
Haskell
7
star
6

timekeeping-template

A script for generating reports from an hledger timekeeping project
Haskell
6
star
7

voxel-vegetables

Farm as many resources as you can in the specified amount of time
Rust
6
star
8

bbarker-unison

Optimization in Unison
4
star
9

nixos-in-docker

NixOS running in Docker. In development - not for production.
Shell
4
star
10

Hypothesis-API

A Perl wrapper for the nascent hypothes.is web API, and loosely based on a Python package: https://github.com/rdhyee/hypothesisapi
Perl
3
star
11

purescript-hodgepodge

A docker container and runner with a mix of build tools. Makes liberal use of host mounts.
Shell
3
star
12

diz

Discord bot in ZIO and Scala 3
Scala
2
star
13

inigo

Inigo: A Package Manager for Idris2
Idris
2
star
14

scala-maven-jmh-bench-demo

Scala fork and port of https://github.com/peterszatmary/jmh-benchmark-demo
Scala
2
star
15

SoftwareTools

Rust
1
star
16

GSL

Fork of GNU GSL: savannah.gnu.org
C
1
star
17

optics-exercises

Haskell
1
star
18

brandon

mostly unix user configuration files
Emacs Lisp
1
star
19

ProjectGists

Basically gists, but where a github gist isn't enough
Scala
1
star
20

LearningAgda

Agda learning repo with some handy nix expressions
Nix
1
star
21

ATStest

Some simple examples for learning ATS.
ATS
1
star
22

9hack

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

purescript-concur-adventure

Choose your own adventure, with Concur
PureScript
1
star
24

M-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.
ATS
1
star
25

SME

Wrappers and examples for using JME3 (JMonkeyEngine 3) in Scala
Scala
1
star