RSS 47 projects tagged "Software Development"

Download Website Updated 15 Jun 2011 The Glasgow Haskell Compiler

Screenshot
Pop 174.60
Vit 10.05

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the functional programming language Haskell. GHC compiles Haskell to either native code or C. It implements numerous experimental language extensions to Haskell for example concurrency, a foreign language interface, several type-system extensions, exceptions, and so on. GHC comes with a generational garbage collector, a space and time profiler, and a comprehensive set of libraries.

Download Website Updated 22 Nov 2008 darcs

Screenshot
Pop 150.60
Vit 7.69

Darcs is an advanced revision control system. It has two particularly distinctive features which differ from other revision control systems: each copy of the source is a fully functional branch, and underlying it is a consistent and powerful theory of patches. In spite of its power, darcs is simple to use, in part because of the symmetry that is restored by making each copy of the repository a branch.

Download Website Updated 26 Dec 2007 C->Haskell

Screenshot
Pop 71.57
Vit 4.47

C->Haskell is an interface generator that simplifies the development of Haskell bindings to C libraries. The tool processes existing C header files that determine data layout and function signatures on the C side in conjunction with Haskell modules that specify Haskell-side type signatures and marshaling details. Hooks embedded in the Haskell code signal access to C structures and functions; they are expanded by the interfacing tool in dependence on information from the corresponding C header file.

Download Website Updated 01 May 2007 RSA-Haskell

Screenshot
Pop 54.66
Vit 3.01

RSA-Haskell is a collection of command-line cryptography tools and a cryptography library written in Haskell. It is intended to be useful to anyone who wants to secure files or communications or who wants to incorporate cryptography in their Haskell application. The libraries include Haskell implementations of SHA1, EME-OAEP, EMSA-PSS, MGF, RSAES-OAEP, and RSA-PSS. These standards implement signature/verification, strong cryptography, and hashing.

Download Website Updated 13 Feb 2012 Erasm++

Screenshot
Pop 45.44
Vit 2.04

Erasm++, the Embedded Runtime Assembler in C++, is an Embedded Domain Specific Language (EDSL) in C++ for runtime code generation on Intel 64/IA-32 architectures. It supports complete compile-time syntax checking, and its code generators run very quickly because necessary data are computed statically. Also included are GenericDsm, a fast and generic instruction decoder library which supports "pattern matching" against the decoded instructions, and MetaPrelude, a Haskell-like lazy metaprogramming library that helps implementing EDSLs in C++.

Download Website Updated 26 Dec 2007 HaXml

Screenshot
Pop 38.25
Vit 3.57

HaXml is a suite of libraries and tools for manipulating XML documents in Haskell. It includes a parser, a pretty-printer, a validator, a combinator library for transforming documents, and converters for changing a Haskell datatype into an XML DTD, and for changing an XML DTD into a set of Haskell datatypes. There are also tools for a query language based on XQL.

Download Website Updated 24 Nov 2003 Knit

Screenshot
Pop 34.00
Vit 1.59

Knit is a new component definition and linking language that can be used with C and assembly code. Knit supports component definitions that require little or no modification to existing code. It automatically schedules component initializers and finalizers and provides an extensible constraint system to detect subtle errors in component composition. Knit provides cross-module inlining that largely eliminates the overheads of componentization, supports component hierarchies, and supports cyclic component dependencies. Knit can be used for any C program, but is especially well suited for use in systems that have many separate components, multiple implementations of the same component, intricate initialization requirements, complex component interdependencies, low-level code and embedded systems, or code that is used in radically different configurations.

Download Website Updated 22 Sep 2002 Gtk+HS

Screenshot
Pop 32.26
Vit 1.90

Gtk+HS is a language binding of the GUI toolkit GTK+ for the functional programming language Haskell.

Download Website Updated 17 May 2005 nhc98

Screenshot
Pop 30.98
Vit 1.96

nhc98 is a small and highly portable compiler for the Haskell 98 language. It has been extended with the standard FFI and hierarchical module namespaces, features extensive heap profiling capabilities, and generally produces small code which runs using small amounts of heap.

Download Website Updated 04 Feb 2009 Haskell Database Connectivity

Screenshot
Pop 30.40
Vit 3.27

HDBC provides an abstraction layer between Haskell programs and SQL relational databases. This lets you write database code once, in Haskell, and have it work with any number of backend SQL databases (MySQL, Oracle, PostgreSQL, ODBC-compliant databases, etc.) HDBC is modeled loosely on Perl's DBI interface, though it has also been influenced by Python's DB-API v2, JDBC in Java, and HSQL in Haskell.

Screenshot

Project Spotlight

[simple | small | shell] web server

A small Web server written in /bin/sh.

Screenshot

Project Spotlight

r6rs-protobuf

Protocol Buffers for R6RS Scheme.