@hackage fgl dependents

140 results

@hackage/jvm-parser
A parser for JVM bytecode files
BSD-3-Clausev0.2.1
@hackage/lambdacube-engine
3D rendering engine written entirely in Haskell
BSD-3-Clausev0.2.4
@hackage/lhc
LHC Haskell Compiler
LicenseRef-PublicDomainv0.10
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/llvm-analysis
A Haskell library for analyzing LLVM bitcode
BSD-3-Clausev0.3.0
@hackage/llvm-pretty-bc-parser
LLVM bitcode parsing library
BSD-3-Clausev0.6.0.0
@hackage/logic-classes
Framework for propositional and first order logic, theorem proving
BSD-3-Clausev1.7.1
@hackage/lvish
Parallel scheduler, LVar data structures, and infrastructure to build more.
BSD-3-Clausev1.1.4
@hackage/mallard
Database migration and testing as a library.
MITv0.6.1.1
@hackage/mathgenealogy
Discover your (academic) ancestors!
GPL-2.0-onlyv1.4.0
@hackage/maxsharing
Maximal sharing of terms in the lambda calculus with letrec
BSD-3-Clausev1.1
@hackage/mps
simply oo
BSD-3-Clausev2010.11.28
@hackage/music-util
Utility for developing the Music Suite.
BSD-3-Clausev0.17
@hackage/net-spider-rpl-cli
CLI executable of NetSpider.RPL.
BSD-3-Clausev0.1.3.4
@hackage/netcore
The NetCore compiler and runtime system for OpenFlow networks.
BSD-3-Clausev1.0.0
@hackage/optimusprime
A supercompiler for f-lite
BSD-3-Clausev0.0.1.20091117
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v1.0.0.0
@cardano/ouroboros-consensus-diffusion
Integration for the Ouroboros Network layer
Apache-2.0v0.26.0.0
@cardano/ouroboros-consensus-test
Tests of the consensus layer
Apache-2.0v0.3.0.0
@hackage/pangraph
A set of parsers for graph languages and conversions to graph libaries.
BSD-3-Clausev0.2.1
@hackage/persistent-migration
Manual migrations for the persistent library
BSD-3-Clausev0.3.0
@hackage/phybin
Utility for clustering phylogenetic trees in Newick format based on Robinson-Foulds distance.
BSD-3-Clausev0.3
@hackage/planet-mitchell
Planet Mitchell
BSD-3-Clausev0.1.0
@hackage/platinum-parsing
General Framework for compiler development.
BSD-3-Clausev0.1.0.0
@hackage/prolog-graph
A command line tool to visualize query resolution in Prolog.
LicenseRef-PublicDomainv0.1.0.2
@hackage/prolog-graph-lib
Generating images of resolution trees for Prolog queries.
LicenseRef-PublicDomainv0.2.1.1
@hackage/provenience
Computations that automatically track data dependencies
GPL-3.0-onlyv0.1.2.4
@hackage/rdf
Representation and Incremental Processing of RDF Data
MITv0.1.0.8
@hackage/rdf4h
A library for RDF processing in Haskell
BSD-3-Clausev5.2.2
@hackage/rpmbuild-order
Sort RPM packages in dependency order
BSD-3-Clausev0.4.13