🦀
I like the crab language
Self taught programmer enjoying learning new things
- Somewhere on the globe
- https://trayzen.xyz
Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Agda
- Assembly
- Astro
- Awk
- C
- C#
- C++
- CMake
- CSS
- CartoCSS
- Clojure
- CodeQL
- Coq
- Crystal
- Cuda
- Dart
- Elixir
- Emacs Lisp
- F#
- F*
- GLSL
- Go
- HTML
- Haml
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- OpenQASM
- P4
- PHP
- Pascal
- Perl
- Prolog
- PureScript
- Python
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Svelte
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- Wikitext
- Zig
Starred repositories
7
stars
written in Haskell
Clear filter
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
Haskell to VHDL/Verilog/SystemVerilog compiler
Wakatime server implementation & analytics dashboard