#Ats-lang

Showing 2 of 2 repositories tagged #ats-lang, ranked by stars

Collection of ATS goodness

★ 34 ⑂ 2 —

⛓️ Blockchain + Smart contracts from scratch

★ 22 ⑂ 3 —

Related Topics

#functional-programming #lambda-calculus #algorithms #compiler #dependent-types #machine-learning #neural-network #sudoku #tail-recursion #blockchain #blockchain-demo #commandline-interface