Mirror of http://chriswarbo.net/git/bucketing-algorithms.git
License
Unknown, AGPL-3.0 licenses found
Licenses found
Unknown
LICENSE
AGPL-3.0
COPYING
Warbo/bucketing-algorithms
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
# AST Bucketing Algorithms # Contact: chriswarbo@gmail.com Homepage: http://chriswarbo.net/git/bucketing-algorithms Mirrors: - /ipns/QmWv958VzBJQchGjYKiSaxLC9ugrjvXkqMpVrmjp9AonXq - https://github.com/Warbo/bucketing-algorithms This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details. You should have received a copy of the GNU Affero General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. ## Bucketing Algorithms ## This repo contains algorithms which take in a JSON array of (Haskell Core) ASTs and spits out an array of arrays ("buckets"). Each "bucket" is an array of strings, where those strings come from the "name" attributes of the given ASTs. The idea of "bucketing" in this way is to try and group "related" ASTs together, most notably as a way to carve up large packages into sub-sets suitable for "theory exploration" tools like QuickSpec and Speculate.
About
Mirror of http://chriswarbo.net/git/bucketing-algorithms.git
Resources
License
Unknown, AGPL-3.0 licenses found
Licenses found
Unknown
LICENSE
AGPL-3.0
COPYING
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published