Hacker News
- Ivory: an embedded domain-specific language for safer systems programming https://ivorylang.org/ivory-introduction.html 32 comments
- Ivory Language: an eDSL for safe systems programming in Haskell http://ivorylang.org/ 2 comments
Lobsters
- The Ivory Language is an eDSL for safe systems programming http://ivorylang.org 4 comments compsci , haskell , security
- New to Idris, and I have a few random questions https://ivorylang.org/ivory-introduction.html 5 comments idris
- The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell. http://ivorylang.org/ 3 comments rust
- The Ivory Language is an eDSL for safe systems programming. You can think of Ivory as a safer C, embedded in Haskell. http://ivorylang.org 4 comments haskell
- Ivory Language http://ivorylang.org/ 36 comments haskell
Linking pages
- GitHub - xgrommx/awesome-functional-programming: Yet another resource for collecting articles, videos etc. regarding functional programming https://github.com/xgrommx/awesome-functional-programming 59 comments
- GitHub - dbohdan/compilers-targeting-c: A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c 36 comments
- GitHub - plops/cl-cpp-generator: another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am now working on a similar project in https://github.com/plops/cl-cpp-generator2 https://github.com/plops/cl-cpp-generator 8 comments
- GitHub - limeburst/cadet: Keyboard controller written in Ivory https://github.com/limeburst/cadet 5 comments
- Why Xen? - Galois, Inc. http://galois.com/blog/2014/09/xen/ 0 comments