- Japan
-
20:43
(UTC +09:00) - https://0m1.io
- https://orcid.org/0000-0002-2042-712X
- https://njump.me/0m1.io
- https://www.threads.net/@akiomik
Highlights
Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Agda
- AsciiDoc
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Crystal
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Fennel
- Flix
- Frege
- Gleam
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- JSON
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- MoonBit
- MoonScript
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- Ragel in Ruby Host
- Reason
- Rich Text Format
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- SuperCollider
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- V
- Vim Script
- Vue
- WebAssembly
- X10
- YAML
- Zig
- hoon
- jq
ShellCheck, a static analysis tool for shell scripts
Dockerfile linter, validate inline bash, written in Haskell
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
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…
Agda is a dependently typed programming language / interactive theorem prover.
A RESTful Haskell web framework built on WAI.
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Official upstream development repository for Cabal and cabal-install
The Plutus language implementation and tools
A GHC-based Haskell to JavaScript compiler
Haskell 101 and 102: slides and codelabs
A proper subset of Haskell that compiles to JavaScript