Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for makefile reduction
makefile
x
reduction
x
1 search results found
Reduction Effects
⭐
6
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Related Searches
Docker Makefile (1,805)
C Makefile (1,549)
Javascript Makefile (1,220)
C Plus Plus Makefile (1,114)
Python Makefile (728)
Golang Makefile (535)
Python Reduction (464)
Shell Makefile (406)
Jupyter Notebook Reduction (191)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
