In Haskell geschriebene Bibliotheken
text-metrics
Berechnen Sie verschiedene String-Metriken effizient in Haskell.
- 41
- BSD 3-clause "New" or "Revised"
imj-animation
Monorepo für eine Multiplayer-Spiel-Engine und Spielbeispiele.
- 41
- BSD 3-clause "New" or "Revised"
sbvPlugin
Beweisen Sie formal Eigenschaften von Haskell-Programmen mithilfe von SBV/SMT.
- 41
- BSD 3-clause "New" or "Revised"
haskell-debug-adapter
Debug-Adapter für das Haskell-Debugging-System.
- 41
- BSD 3-clause "New" or "Revised"
semilattices
Halbgitter, Unter- und Obergrenzen verbinden und erfüllen.
- 41
- BSD 3-clause "New" or "Revised"
octopus
Eine hochdynamische Sprache, inspiriert von Kernel, Javascript, Clojure, Arc und Wissenschaft. (von Zankoku-Okuno).
- 41
- GNU General Public License v3.0 only
HashedExpression
Typsichere DSL-Modellierung, symbolische Transformation und Codegenerierung zur Lösung von Optimierungsproblemen.
- 41
- MIT
archiver
Hintergrunddaemon, der eine Liste von URLs für das Internetarchiv, archive.is und andere Dienste archiviert.
- 41
- BSD 3-clause "New" or "Revised"
ParsleyHaskell
Neuimplementierung von Parsley in Haskell mit Verbesserungen.
- 41
- BSD 3-clause "New" or "Revised"
reflex-native
Framework zum Schreiben vollständig nativer Apps mit Reflex, einer Functional Reactive Programming-Bibliothek für Haskell.
- 41
- BSD 3-clause "New" or "Revised"
GLUtil
Hilfsfunktionen für die Arbeit mit OpenGL BufferObjects, GLSL-Shadern und Texturen.
- 40
- BSD 3-clause "New" or "Revised"
webgear-server
Verschoben nach https://github.com/haskell-webgear/webgear.
- 40
- Mozilla Public License 2.0
kernmantle
Zusammenfügen erweiterbarer Effekte in einer Pipeline/einem Arbeitsablauf von Aufgaben.
- 40
lambda-calculus-hs
Einzeldatei-Lambda-Kalkül-Implementierungen, die verschiedene Typsystemfunktionen und Interpretationstechniken demonstrieren.
- 40
- Apache License 2.0
simple
Ein minimales Haskell-Web-Framework basierend auf der WAI-Webserverschnittstelle. (von Alevy).
- 40
- GNU Lesser General Public License v3.0 only
ampersand
Erstellen Sie Datenbankanwendungen schneller als alle anderen und halten Sie als Bonus Ihre Datenverschmutzung frei. (von AmpersandTarski).
- 40
regex-tdfa
Eine neue, komplett mit Haskell versehene DFA-Regex-Engine, inspiriert von libtre.
- 40
- BSD 3-clause "New" or "Revised"