Linking pages
- Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments
- post-rfc/sotu.md at main · Gabriella439/post-rfc · GitHub https://github.com/Gabriel439/post-rfc/blob/master/sotu.md 333 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/kindelia/kind 158 comments
- 10 Lesser-Known Programming Languages Worth Exploring | Programming Zen http://programmingzen.com/2016/06/07/10-lesser-known-programming-languages-worth-exploring/ 153 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/uwu-tech/Kind 116 comments
- post-rfc/sotu.md at main · Gabriella439/post-rfc · GitHub https://github.com/Gabriel439/post-rfc/blob/main/sotu.md 27 comments
- Tutorial: Zero to Sixty in Racket http://prl.ccs.neu.edu/blog/2016/08/02/tutorial-zero-to-sixty-in-racket/ 18 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - larrytheliquid/Lemmachine: REST'ful web framework in Agda http://github.com/larrytheliquid/Lemmachine 9 comments
- GitHub - nomeata/ghc-proofs: Let GHC prove program equations for you https://github.com/nomeata/ghc-proofs 9 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/moonad/Formality 8 comments
- 10 Lesser-Known Programming Languages Worth Exploring | Programming Zen https://programmingzen.com/10-lesser-known-programming-languages-worth-exploring/ 5 comments
- PHOAS For Free - School of Haskell | School of Haskell https://www.schoolofhaskell.com/user/edwardk/phoas 4 comments
- GitHub - statebox/awesome-applied-ct: ACT community resources https://github.com/statebox/awesome-applied-category-theory 2 comments
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- A Birds Eye View of Functional Programming | by Brooklyn Zelenka | Making Internets | Medium https://medium.com/making-internets/a-bird-s-eye-view-of-functional-programming-7325853ff9ad 0 comments
- Adrian Sampson: Swift/Cocoa Type Dissonance http://homes.cs.washington.edu/~asampson/blog/swift-cocoa.html 0 comments
- C◦mp◦se :: Conference http://www.composeconference.org/2019/cfp/ 0 comments
- Tutorial: Zero to Sixty in Racket https://prl.khoury.northeastern.edu/blog/2016/08/02/tutorial-zero-to-sixty-in-racket/ 0 comments
Related searches:
Search whole site: site:wiki.portal.chalmers.se
Search title: The Agda Wiki
See how to search.