- Munich, Germany
- http://aalhour.com
Stars
- All languages
- Agda
- Arduino
- Assembly
- Astro
- Awk
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Cython
- D
- Dart
- Elixir
- Elm
- Erlang
- F*
- Fortran
- Frege
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nunjucks
- OCaml
- Objective-C
- Objective-J
- PHP
- Perl
- Pony
- PowerShell
- Processing
- PureScript
- Python
- R
- Racket
- Red
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- TLA
- TeX
- Terra
- TypeScript
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Zig
A Dependently Typed Functional Programming Language
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
A RESTful Haskell web framework built on WAI.
The Eta Programming Language, a dialect of Haskell on the JVM
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A DSL for deep neural networks, supporting Caffe and Torch
Haskell Programming From First Principles - Follow-up Resources
Add ACID guarantees to any serializable Haskell data structure
Efficient hashing-based container types
A lazy non-deterministic concatenative programming language