Stars
- All languages
- Agda
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- Dart
- Dockerfile
- Erlang
- F#
- Frege
- GCC Machine Description
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- MATLAB
- MDX
- Makefile
- Markdown
- Mustache
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pony
- PowerShell
- Pug
- Python
- Ruby
- Rust
- SCSS
- Scala
- Shell
- StringTemplate
- Swift
- TeX
- TypeScript
- Typst
- Vue
9
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
The Eta Programming Language, a dialect of Haskell on the JVM
Miscellaneous articles. The readme is the table of contents.
This is source code of my book.
Idris-zh / Idris-dev
Forked from idris-lang/Idris-dev用作文档目的,翻译方式见 Issue #10