Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / smucclaw / baby-l4
A miniature version of the l4 language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smucclaw%2Fbaby-l4
Stars: 9
Forks: 6
Open Issues: 22
License: bsd-3-clause
Language: Grammatical Framework
Repo Size: 4.17 MB
Dependencies:
39
Created: over 3 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
- jonabc/sync-task-issues v1 composite
- actions/cache v2.1.5 composite
- actions/checkout v2 composite
- cachix/cachix-action v12 composite
- cachix/install-nix-action v18 composite
- haskell/actions/setup v1 composite
baby-l4.cabal
hackage
- MissingH *
- array *
- baby-l4 *
- base >=4.7 && <5
- containers *
- either *
- extra *
- fgl *
- gf *
- gf-ud *
- ghc *
- graphviz *
- haskeline *
- hslogger *
- hxt *
- hxt-css *
- lens *
- lsp *
- lsp-types *
- megaparsec *
- mmorph *
- mtl *
- optparse-applicative *
- pretty-simple *
- prettyprinter >=1.7.0
- sbv *
- simple-smt *
- sorted-list *
- split *
- tasty *
- tasty-hunit *
- text *
- transformers *