adamduracz

gov

GOV online voting

500lines

500 Lines or Less

acumen-dev

Mirror of official Acumen repository

acumen-language

Automatically exported from code.google.com/p/acumen-language

aern

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.

better

Open. Democratic. Project management platform.

DSLsofMath

Domain Specific Languages of Mathematics

energymon

A portable interface for energy monitoring utilities

free-programming-books

frp-arduino

Arduino programming without the hassle of C.

Graph

Graph is a semantic database that is used to create data-driven applications.

gxt

homebrew-core

:beers: Core formulae for the Homebrew package manager

JSONSchema.swift

JSON Schema validator in Swift

latex-input

Enter Unicode characters using LaTeX notation

lean

Lean Theorem Prover

leon

The Leon system for verification, synthesis, and more.

Nifty

Numerical computing for Swift

passdrop

A Keepass-1.x-compatible password management app for iOS devices.

Perfect-SQLite

A stand-alone Swift wrapper around the SQLite 3 client library, enabling access to SQLite servers.

pola-ios

polypaver

A theorem prover specialised in deciding inequalities of non-linear real and floating-point expressions using rigorous polynomial approximations. Includes tools for verifying floating-point SPARK 2005 programs.

sage

Mirror of the Sage source tree

Signal-iOS

Free, world-wide, private messaging and phone calls for iPhone.

swift

The Swift Programming Language

swift-ast

A Swift AST parser and visitor that is written in Swift.

TestLib

vatican

A lazy specializing virtual machine for purely functional languages

vot.ar

VOT.AR - Sistema de Voto Electrónico

xsbt-proguard-plugin

A plugin for XSBT to facilitate the use of ProGuard to create single jars for XSBT-managed projects