- Tokyo, Japan
- https://coord-e.com/
Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cython
- D
- Diff
- Dockerfile
- Emacs Lisp
- F#
- F*
- G-code
- GDScript
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Logos
- Lua
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- PHP
- Perl 6
- Python
- QML
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
ShellCheck, a static analysis tool for shell scripts
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
A powerful but simple library for measuring the performance of Haskell code.
Web application for exploring and understanding Haskell codebases
Extensible Effects: An Alternative to Monad Transformers
A friendly IRC bot and apprentice coder, written in Haskell.
Maintenance of the pointfree Hackage package.
Knuth-Bendix completion in Egison (and Haskell). 技術書典7
extensible effects でやっていくドメインロジック記述 @ Gotanda.hs #1
InVerse is a new programming language in which you can write source code upside-down.