🐙
- Seattle, WA
Highlights
- Pro
Stars
- All languages
- Agda
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Workflow Language
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Fennel
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mustache
- OCaml
- Objective-C
- Objective-C++
- OpenQASM
- PHP
- PLpgSQL
- Perl
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Vim Script
- Vue
- Web Ontology Language
1
star
written in Julia
Clear filter
A framework for applied category theory in the Julia language