GitHub - vekatze/neut: A dependently-typed programming language with compile-time malloc/free determination - discu.eu

Hacker News

Show HN: A dependently-typed programming language with static memory management https://github.com/u2zv1wx/neut 78 comments 23/5/2020

Reddit

neut - a dependently-typed programming language with compile-time malloc/free determination https://github.com/u2zv1wx/neut 18 comments 23/5/2020 haskell

Linking pages

GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - vekatze/neut: A dependently-typed programming language with compile-time malloc/free determination

See how to search.

Submit link to: