Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/gallettilance/magnificats

algorithms ats-lang compiler dependent-types functional-programming lambda-calculus machine-learning neural-network sudoku tail-recursion

Last synced: about 4 hours ago
JSON representation

Collection of ATS goodness

Host: GitHub
URL: https://github.com/gallettilance/magnificats
Owner: gallettilance
Created: 2018-02-16T16:54:51.000Z (over 6 years ago)
Default Branch: master
Last Pushed: 2019-11-19T03:08:57.000Z (almost 5 years ago)
Last Synced: 2023-03-05T20:15:23.901Z (over 1 year ago)
Topics: algorithms, ats-lang, compiler, dependent-types, functional-programming, lambda-calculus, machine-learning, neural-network, sudoku, tail-recursion
Language: ATS
Homepage:
Size: 20.2 MB
Stars: 30
Watchers: 1
Forks: 1
Open Issues: 0