- Dublin, Ireland
- https://types.pl/@amir
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- APL
- ATS
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- Dhall
- Elm
- Emacs Lisp
- Erlang
- F*
- Flix
- Frege
- Futhark
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Koka
- Kotlin
- LLVM
- Lean
- Makefile
- Markdown
- Mercury
- Nix
- OCaml
- PHP
- Perl
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Verilog
- Vim Script
- Wren
- Zig
- q
Rofi: A window switcher, application launcher and dmenu replacement
An OpenGL RTS game engine written in C
The Rumprun unikernel and toolchain for various platforms
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Never: statically typed, embeddable functional programming language.
A compiler for functional programs on serialized data
A FUSE abstraction layer for cloud storage (Amazon S3, Google Cloud Storage and more)
A compiler for the gradually typed lambda calculus
LD_PRELOAD hack to redirect connections to other ports
Simple arithmetic language interpreter with JIT compilation, using LLVM.
Make it easier to read in dark rooms by turning your screen colors to black and shades of red. Linux only.