|
|
| 31. | | Compiling Functional Languages (2002) [pdf] (xavierleroy.org) | |
78 points by perihelions on Aug 24, 2023 | 14 comments
|
|
| 32. | | Ceed – A tiny x86 compiler with ELF and PE target (2017) (github.com/ipankajg) | |
32 points by peter_d_sherman on July 24, 2023 | 4 comments
|
|
| 33. | | Show HN: Gemini web client in 100 lines of C (github.com/ir33k) | |
91 points by ir3k on July 19, 2023 | 45 comments
|
|
| 34. | | Designing a Language Without a Parser (thunderseethe.dev) | |
114 points by thunderseethe on July 4, 2023 | 127 comments
|
|
| 35. | | Flix – Safe, reliable, concise, and functional-first programming language (flix.dev) | |
213 points by nikolay on May 20, 2022 | 42 comments
|
|
| 36. | | How to implement dependent type theory I (2012) (andrej.com) | |
58 points by todsacerdoti on June 14, 2023 | 9 comments
|
|
| 37. | | Proving My Compiler Code Incorrect with Alloy (danilafe.com) | |
63 points by todsacerdoti on June 6, 2023 | 2 comments
|
|
|
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
