RSS 184 projects tagged "MIT"

Download Website Updated 24 Apr 2014 husk-scheme

Screenshot
Pop 281.95
Vit 286.71

Husk is an implementation of the Scheme programming language for the Haskell Platform. Advanced R5RS features are provided, including continuations, hygienic macros, and a full numeric tower.

Download Website Updated 24 Apr 2014 ncdc

Screenshot
Pop 173.83
Vit 212.50

ncdc is a modern and lightweight Direct Connect client with a friendly text-mode interface.

No download No website Updated 22 Feb 2014 Frosted

Screenshot
Pop 450.02
Vit 104.48

Frosted is a passive Python syntax checker. It is a fork of pyflakes which aims at more open contribution from the outside public, a smaller more maintainable code base, and a better Python checker for all.

Download Website Updated 16 Apr 2014 musl

Screenshot
Pop 432.62
Vit 79.88

musl is a new implementation of the standard library for Linux-based systems. It is lightweight, fast, simple, free, and strives to be correct in the sense of standards-conformance and safety. It includes a wrapper for building programs against musl in place of the system standard library (e.g. glibc), making it possible to immediately evaluate the library and build compact statically linked binaries with it.

Download Website Updated 15 Apr 2014 isl

Screenshot
Pop 260.25
Vit 59.65

isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction and operations geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.

Download Website Updated 11 Mar 2014 Qore Programming Language

Screenshot
Pop 310.25
Vit 52.33

Qore is a scripting language supporting threading and embedded logic, and designed for applying a flexible scripting-based approach to enterprise interface development. It is also useful as a general purpose language.

No download Website Updated 09 Apr 2014 Bitcoin Core

Screenshot
Pop 512.01
Vit 51.76

Bitcoin is a peer-to-peer electronic cash system that is completely decentralized, without the need for a central server or trusted parties. Users hold the crypto keys to their own money and transact directly with each other, with the help of a P2P network to check for double-spending.

Download No website Updated 11 Apr 2009 PEGTL

Screenshot
Pop 23.45
Vit 42.89

The Parsing Expression Grammar Template Library (PEGTL) is a C++0x library for creating parsers according to a Parsing Expression Grammar (PEG). Grammars are embedded as regular C++ code, created with template programming (not template meta programming). These hierarchies naturally correspond to the inductive definition of PEGs. The library extends on the subject of PEGs with new expression types, actions that can be attached to grammar rules, and mechanisms to ensure helpful diagnostics in case of parsing errors. PEGs are superficially similar to Context-Free Grammars (CFGs).

Download Website Updated 17 Apr 2009 hMUD

Screenshot
Pop 30.00
Vit 42.81

hMUD is a classic Telnet MUD client that runs in major Web browsers (IE, Firefox, and Chrome). Internally it's a Flash client, but you do not interact directly with Flash; it just does a bridge between the HTML and the MUD server. For the user, it's just an HTML page using Javascript (like most Web sites). So it is largely accessible by modern computers. It works on any Telnet MUD, and it parses ANSI colors, transforming the output to HTML. It has basic features like command history, logging output in HTML (so that you can save a log with the same output currently in your screen), and other conveniences.

No download Website Updated 13 May 2009 siwapp

Screenshot
Pop 33.90
Vit 42.50

siwapp is a Web application meant to help manage and create invoices in a simple, straightforward way. It can manage invoices with different serial numbers (as rectification invoices), provide printable PDF versions of the invoices with a professional look & feel, save drafts of your invoices and continue editing them later, and automatically generate invoices on a periodic basis.

Screenshot

Project Spotlight

Docvert

Converts MS Word files to open document formats.

Screenshot

Project Spotlight

The Meson Build System

A next-generation build system.