Loreon
Labs
Platform
Docs
Home
Ecosystems
C
idris2-oracle
Matthew-Mosior/idris2-oracle
C
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
6d ago
Recent commits
Latest commits.
Updating .gitignore.
7523fca
Matthew Mosior
6d ago
Adding .gitignore, updating year on LICENSE, updating name of package and support executable.
c66f12e
Matthew Mosior
6d ago
Merge branch 'main' of github.com:Matthew-Mosior/idris2-oracle
28ecf63
Matthew-Mosior
10mo ago
Updating code.
737d066
Matthew-Mosior
10mo ago
Updating code.
d9c6c36
Matthew-Mosior
15mo ago
Update README.md
319679a
Matthew Mosior
18mo ago
Initial commit
141d60c
Matthew Mosior
18mo ago
Top contributors
Builders behind this project.
Matthew-Mosior
7 commits
