Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage uulib dependents

23 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/ChristmasTree
Alternative approach of 'read' that composes grammars instead of parsers.
LicenseRef-LGPLv0.2.1.1
@hackage/SyntaxMacros
Syntax Macros in the form of an EDSL
LicenseRef-LGPLv1.0.3
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/ag-pictgen
Attribute Grammar picture generation
BSD-3-Clausev1.0.0.0
@hackage/ampersand
Toolsuite for automated design of business processes.
LicenseRef-GPLv3.1.0
@hackage/chr-parse
Parsing for chr library
BSD-3-Clausev0.1.0.0
@hackage/dbjava
Decompiler Bytecode Java
BSD-3-Clausev1.7
@hackage/delimiter-separated
Library for dealing with tab and/or comma (or other) separated files
BSD-3-Clausev0.1.0.0
@hackage/ideas
Feedback services for intelligent tutoring systems
Apache-2.0v1.8
@hackage/lambdacube-engine
3D rendering engine written entirely in Haskell
BSD-3-Clausev0.2.4
@hackage/murder
MUtually Recursive Definitions Explicitly Represented
LicenseRef-LGPLv1.3.4
@hackage/oberon0
Oberon0 Compiler
LicenseRef-LGPLv0.0.2
@hackage/ruler
Ruler tool for UHC
BSD-3-Clausev0.4.1.0
@hackage/ruler-core
LicenseRef-LGPLv1.0
@hackage/shuffle
Shuffle tool for UHC
BSD-3-Clausev0.1.4.0
@hackage/tiger
Tiger Compiler of Universiteit Utrecht
BSD-3-Clausev1.1.1
@hackage/uhc-light
Part of UHC packaged as cabal/hackage installable library
BSD-3-Clausev1.1.10.0
@hackage/uhc-util
UHC utilities
BSD-3-Clausev0.1.7.0
@hackage/uu-cco-hut-parsing
Utilities for compiler construction: Feedback wrapper around parser in uulib
BSD-3-Clausev0.1.0.1
@hackage/uuagc
Attribute Grammar System of Universiteit Utrecht
BSD-3-Clausev0.9.56
@hackage/uuagc-bootstrap
Attribute Grammar System of Universiteit Utrecht
BSD-3-Clausev0.9.40.2
@hackage/uuagc-cabal
Cabal plugin for UUAGC
BSD-3-Clausev1.3.1.0