Einfache Projektliste Software-Karte

94 Projekte im Ergebnis
Letztes Update: 2007-12-26 14:06


DrIFT is a type sensitive preprocessor for Haskell. It extracts type declarations and directives from modules and applies rules to them which generate code. It is intended that the user can add new rules as required. DrIFT automates instance derivation for classes that aren't supported by the standard compilers. In addition, instances can be produced in separate modules to that containing the type declaration. This allows instances to be derived for a type after the original module has been compiled. Simple utility functions can also be produced from a type.

Letztes Update: 2011-06-20 20:43


This program is especially useful when the main difference between the two LaTeX files is in permutation of sections, moved equations, etc. Given 2 LaTeX files, it prepares 2 annotated LaTeX files showing which equations of the 1st file are identical, or close, or similar, to which equations of the 2nd file. It does the same with the pieces of text. It also saves the snippets of text and equations from each text into separate files in 2 new folders, allowing the user to see the difference using a diff program.

(Machine Translation)
Letztes Update: 2003-10-07 05:23


Green Card is a foreign function interface
preprocessor for Haskell. It simplifies the task
of interfacing Haskell programs to external
libraries, which are normally exposed via C

(Machine Translation)


An experimental purely functional programming language (byte-code compiler and interpreter) with a syntax similar to Haskell but using eager evaluation instead of lazy evaluation.

Aktivitätsart Perzentil: 23
Aktivitäten-Rangliste: 140Rang
Register Date: 2017-02-22 09:00
Letztes Update: 2008-01-11 15:58

ConfigFile for Haskell

The ConfigFile module for Haskell works with
configuration files in a standard format that is
easy for the user to edit, easy for the programmer
to work with, and yet remains powerful and
flexible. It is inspired by, and is compatible
with, Python's ConfigParser module. It uses files
that resemble Windows .INI-style files, but with
numerous improvements. ConfigFile provides simple
calls to both read and write config files. It's
possible to make a config file parsable by this
module, the Unix shell, and make.

(Machine Translation)
Letztes Update: 2006-08-05 00:45

Fid Emacs

Fid の既定のテキスト エディター。

(Machine Translation)
Entwicklungsstatus: 3 - Alpha
Betriebssystem: Linux
Programmiersprache: Haskell
Benutzerschnittstelle: Console/Terminal
Letztes Update: 2007-01-31 18:34

Grammatical Framework

文法フレームワーク (GF) は型理論に基づく文法形式主義です。特別な目的のプログラミング言語、コンパイラ、言語、および一般的な文法のプロセッサので構成されます。

(Machine Translation)
Letztes Update: 2010-04-21 12:25

Lsl Plus

Lsl プラスは、編集/コンパイル/テスト環境のため、リンデン スクリプト言語 (LSL)、Eclipse プラグインとして実装されています。

(Machine Translation)
Letztes Update: 2005-02-11 02:05

Zinc Project


(Machine Translation)
Letztes Update: 2013-01-12 02:28


!PortFusion 書かれた Haskell + LLVM は、GPLv3 の下でリリースの TCP、ミニマル、クロスプラット フォーム トランスポート - 分散層逆/フォワード プロキシです。この直感的なインターフェイスと美しいデザインの Haskell の優れたサポートを前例のないレベルの同時実行および並列処理を組み合わせて、独自の機能に叩くことによってそれぞれのプラットフォームのほとんどになります 1 つのパッケージ。それは最大のスループットとオーバーヘッド近くを提供しながら、ソース コード サイズの最小の (< 500 行) を努めています。

(Machine Translation)
Letztes Update: 2019-08-19 22:30

Archive of Formal Proofs

形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelle の定理証明における機械的にチェックのコレクションです。それは科学的な雑誌の方法で編成されます。サブミッションは査読有り。

(Machine Translation)
Letztes Update: 2013-12-09 12:30


Pandoc は別の 1 つのマークアップ形式やこのライブラリを使用するコマンド ライン ツールから変換するための Haskell ライブラリです。それは値下げ (のサブセット) を読むことができます HTML、reStructuredText、ラテックス、!DocBook, !MediaWiki マークアップ、ハドック マークアップ、OPML、繊維と書くことができます markdown、reStructuredText、HTML、ラテックス、コンテキスト、Docbook、OPML、!OpenDocument、ODT、単語 docx、RTF、!MediaWiki、繊維、groff man ページ、プレーン テキスト、Org モード Emacs、!AsciiDoc、EPUB (v2 と v3)、!FictionBook2、および HTML/javascript (S5、使用、Slideous、DZSlides、スライド ショーのいくつかの種類、reveal.js)。Pandoc 脚注、埋め込みラテックス、定義リスト、テーブル、およびその他の機能を持つ標準記法の構文を拡張します。

(Machine Translation)
Letztes Update: 2010-10-25 05:04


ElixirFM は、http://sourceforge.net/apps/trac/elixir-fm/に記載されている機能のアラビア形態の高度な実装です。ElixirFM のコア perl インタ フェース辞書編集および他の相互作用をサポートしながら、Haskell で書き込まれます。

(Machine Translation)
Letztes Update: 2015-01-30 01:59

Haskell support for Eclipse

Eclipse IDEを関数型プログラミング言語 Haskell用の開発ツールを用いて拡張し、一貫していて使いやすく設定可能な環境において、広範なツール(コンパイラ、インタプリタ、ドキュメントツール、その他)のサポートを提供しています。

Letztes Update: 2015-01-02 02:59

Human Speakable Programming Language

Rpoku は人間の会話に応用できるプログラミング言語です。

Rpoku はロジバンと関係があります。

Rpoku は人間対人間のコミュニケーションに使えます。

Rpoku はコンピュータ・プログラムを記述するのに使えます。

Rpoku は異言語同士の媒介として使えます。