Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for bindings agda
agda
x
bindings
x
2 search results found
Schmitty
⭐
81
Agda bindings to SMT-LIB2 compatible solvers.
Abstract Binding Trees
⭐
61
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Agda Sizedio
⭐
31
IO using sized types and copatterns
Related Searches
Python Bindings (2,342)
Javascript Bindings (2,192)
C Plus Plus Bindings (1,771)
C Bindings (1,491)
Java Bindings (1,256)
Rust Bindings (1,187)
C Sharp Bindings (1,052)
Golang Bindings (1,015)
Types Bindings (201)
Types Agda (76)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
