😈
git push --force
Computer Science student with interests in functional programming, programming languages, and CS theory
-
Rochester Institute of Technology
- https://orcid.org/0009-0007-9802-1596
- @fdeitylink@types.pl
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Agda
- Assembly
- C
- C#
- C++
- Clojure
- Common Lisp
- Cuda
- Emacs Lisp
- Erlang
- F#
- Flix
- Futhark
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Markdown
- Nim
- Nunjucks
- OCaml
- Prolog
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- TeX
- TypeScript
- V
- Zig
9
stars
written in TypeScript
Clear filter
Easy to maintain open source documentation websites.
Scheduling infrastructure for absolutely everyone.
Streaming music player that finds free music for you
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.
Taking Keyboards to the Final Frontier