Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Firstorderunificationinagda

Implementation of McBride's "First-order unification by structural recursion" in Agda.
Stars
6
License
mit
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
Agda
Categories
Repo
Alternatives To Firstorderunificationinagda
Select To Compare
Ffuf ⭐ 10,658
Fast web fuzzer written in Go
dependent packages 1total releases 20most recent commit 5 months ago
Recursion Context ⭐ 6,434
Provides functionality to recursively process PHP variables
dependent packages 35total releases 16most recent commit 5 months agopackagist sebastian/recursion-context} Downloads
Bbot ⭐ 3,155
A recursive internet scanner for hackers.
total releases 174most recent commit 4 months ago
Rtree ⭐ 1,058
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
dependent packages 14total releases 54most recent commit 5 months ago


Suggest An Alternative To FirstOrderUnificationInAgda
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Standard Library Agda
Recursion Agda

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Recursion
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.