Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for algorithms agda
agda
x
algorithms
x
1 search results found
Thinking Dumps
⭐
30
This repo keeps track of my codes, answers and thinkings when exploring books.
Stlc
⭐
20
Dependently typed Algorithm M and friends
Convex
⭐
6
Convex Optimization using Dependent Types and Matrix Free Formulations
Valiantagda
⭐
5
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Related Searches
Python Algorithms (9,749)
C Plus Plus Algorithms (6,250)
Algorithms Data Structure (4,627)
Java Algorithms (4,524)
Javascript Algorithms (3,576)
C Algorithms (2,341)
Jupyter Notebook Algorithms (2,326)
Algorithms Graph (1,764)
Algorithms Sort (1,670)
Matlab Algorithms (1,381)
1-1 of 1 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.