Stars
- All languages
- ActionScript
- AppleScript
- Arduino
- Assembly
- Batchfile
- Blade
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Cuda
- Dockerfile
- EJS
- Eagle
- Elixir
- Elm
- Erlang
- F#
- G-code
- Go
- HCL
- HTML
- Hack
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MDX
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- Perl
- PowerShell
- Processing
- Python
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- Vim Script
- Vue
6 stars written in Haskell
Clear filter A static website compiler library in Haskell
Educational computer programming environment using Haskell
A DSL for deep neural networks, supporting Caffe and Torch
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
Library of categories, with categorical constructions on them
A classical propositional theorem prover in Haskell, using Wang's Algorithm.


