- Cambridge, MA, USA
-
13:41
(UTC -05:00) - wbthomason.com
- https://orcid.org/0000-0001-6200-9762
- @wilthomason
Highlights
- Pro
Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dockerfile
- Emacs Lisp
- F#
- F*
- Fennel
- Fortran
- GAP
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- Mojo
- NASL
- Nix
- OCaml
- PDDL
- PHP
- Perl
- Python
- R
- Racket
- Reason
- RenderScript
- Roff
- Ruby
- Rust
- SAS
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Slash
- Standard ML
- Starlark
- SystemVerilog
- TeX
- Tree-sitter Query
- TypeScript
- Vala
- Vim Script
- Vue
- Zig
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps π±!
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
A statically typed lisp, without a GC, for real-time applications.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A Dependently Typed Functional Programming Language
A static website compiler library in Haskell
The Eta Programming Language, a dialect of Haskell on the JVM
The engine for haskell ide-integration. Not an IDE
A multilingual package manager for Arch Linux and the AUR.
A declarative Unix terminal UI library written in Haskell
β higher-order, no-boilerplate monads
A notification daemon/center for linux
π Safe, performant, user-friendly and lightweight Haskell standard library
Extremely modular text editor built in Haskell
Purely functional artificial neural network library implemented in Haskell.
A Haskell library for typesafe music composition