kini Goto Github PK

nix

Nix, the purely functional package manager

nixpkgs

Nix Packages collection

nixpkgs-pytools

Tools for removing the tedious nature of creating nixpkgs derivations [maintainer=@costrouc]

offerings

Guidelines for offering jobs in the UTCS Facebook group

openssl

TLS/SSL and crypto library

parsehelp.hs

A friendlier interface to the CmdArgs haskell library

patch-converter

A script to convert the output of git patches to Hg format. I didn't write this.

pg

This repo is the new home of Proof General

primitive

This package provides various primitive memory-related operations.

project-euler

Yet another Project Euler repo. Warning: spoilers! Done in Haskell.

projectile

Project Interaction Library for Emacs

pynamodb

A pythonic interface to Amazon's DynamoDB

python-lsp-server

Fork of the python-language-server project, maintained by the Spyder IDE team and the community

reasonml.github.io

Reason's documentation site

rust

A safe, concurrent, practical language.

sage

sage-on-gentoo

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

sage-patchbot

Sage Patchbot

sage-workflow

This has moved to http://github.com/sagemath/sage-workflow

sagecell

This is a git mirror of http://code.google.com/p/simple-python-db-compute/

sagenb

Sage Notebook (flask)

saw-script

The SAW scripting language.

scidist

scipy.org-new

Scipy.org site replacement in development

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

shellpool

Running external programs from Common Lisp

simavr

simavr is a lean, mean and hackable AVR simulator for linux & OSX

simplejson

simplejson is a simple, fast, extensible JSON encoder/decoder for Python

slurm

Slurm: A Highly Scalable Workload Manager

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!