Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage fgl dependents

137 results

@hackage/ADPfusionForest
Dynamic programming on tree and forest structures
BSD-3-Clausev0.0.0.1
@hackage/BiobaseNewick
Newick file format parser.
BSD-3-Clausev0.0.0.2
@hackage/CarneadesDSL
An implementation and DSL for the Carneades argumentation model.
BSD-3-Clausev1.3
@hackage/CarneadesIntoDung
A translation from the Carneades argumentation model into Dung's AFs.
BSD-3-Clausev1.0
@hackage/ChristmasTree
Alternative approach of 'read' that composes grammars instead of parsers.
LicenseRef-LGPLv0.2.1.1
@hackage/Coadjute
A generic build tool
BSD-3-Clausev0.1.1
@hackage/DifferenceLogic
A theory solver for conjunctions of literals in difference logic
BSD-3-Clausev0.1.0.4
@hackage/Emping
derives heuristic rules from nominal data
LicenseRef-GPLv0.6
@hackage/Etage-Graph
Data-flow based graph algorithms
LGPL-3.0-onlyv0.1.8
@hackage/FiniteCategories
Finite categories and usual categorical constructions on them.
GPL-3.0-or-laterv0.6.5.1
@hackage/FiniteCategoriesGraphViz
Transform objects of the package FiniteCategories into graphs using GraphViz.
GPL-3.0-or-laterv0.2.0.0
@hackage/ForestStructures
Tree- and forest structures
BSD-3-Clausev0.0.1.1
@hackage/Graphalyze
Graph-Theoretic Analysis library.
LicenseRef-OtherLicensev0.15.0.0
@hackage/HaskellAnalysisProgram
Haskell source code analysis program
Apache-2.0v0.1.0
@hackage/Paraiso
a code generator for partial differential equations solvers.
BSD-3-Clausev0.3.1.5
@hackage/RNAdesign
Multi-target RNA sequence design
GPL-3.0-onlyv0.1.2.2
@hackage/SciFlow
Scientific workflow management system
MITv0.7.0
@hackage/ShellCheck
Shell script analysis tool
GPL-3.0-onlyv0.10.0
@hackage/SourceGraph
Static code analysis using graph-theoretic techniques.
LicenseRef-GPLv0.7.0.7
@hackage/TBit
Utilities for condensed matter physics tight binding calculations.
BSD-3-Clausev0.4.2.3
@hackage/Taxonomy
Libary for parsing, processing and vizualization of taxonomy data
GPL-3.0-onlyv2.2.0
@hackage/TaxonomyTools
Tool for parsing, processing, comparing and visualizing taxonomy data
GPL-3.0-onlyv1.0.1
@hackage/TestExplode
Generates testcases from program-snippets
LGPL-3.0-onlyv0.1.0.0
@hackage/Zora
Graphing library wrapper + assorted useful functions
BSD-3-Clausev1.2.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/ajhc
Haskell compiler that produce binary through C language
GPL-2.0-onlyv0.8.0.10
@hackage/algebra-dag
Infrastructure for DAG-shaped relational algebra plans
BSD-3-Clausev0.1.1.1
@hackage/algebra-sql
Relational Algebra and SQL Code Generation
BSD-3-Clausev0.3.0.0
@hackage/alms
a practical affine language
BSD-3-Clausev0.6.9
@hackage/arith-encode
A practical arithmetic encoding (aka Godel numbering) library.
BSD-3-Clausev1.0.2

Next