andersk/nixathena andersk/nixathena

  • Stars
    star
    1
  • Language
    Nix
  • Created almost 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andersk/nixathena
github

andersk

Reviews

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

Repository Details

NixOS overlay for MIT Athena packages

More Repositories

1

enum_primitive-rs

Macro to generate num::FromPrimitive instances for enum that works in Rust 1.0
Rust
62
star
2

tiny-lambda

A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
Haskell
10
star
3

haskell-constructible

Exact computation with constructible real numbers
Haskell
9
star
4

haskell-cgi

A library for writing CGI programs
Haskell
7
star
5

git-cluedump

Source for Understanding Git cluedump slides, 2008-10-21
TeX
6
star
6

elect

Command line tool for tallying elections with the Schulze STV method
Rust
4
star
7

test

test
2
star
8

haskell-nimber

Finite nimber arithmetic
Haskell
2
star
9

shortmantoutmost

An optimal 536186-letter portmantout: the shortest possible portmanteau of every English word
AGS Script
1
star
10

nss_nonlocal

An nsswitch proxy module to prevent local account spoofing
C
1
star
11

python-segfault

Python
1
star
12

cycle-analysis

Python
1
star
13

allrgb

Code for allRGB submissions
Rust
1
star
14

500-empty-jest-tests

Test nothing, very carefully (for facebook/jest#9554)
JavaScript
1
star