Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Cuda
- Dart
- Dockerfile
- Elixir
- Fennel
- Gnuplot
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Just
- KakouneScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mermaid
- Move
- Mustache
- Nim
- Nix
- OCaml
- PHP
- Perl
- PowerShell
- Python
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Stylus
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Vue
- Vyper
- WebAssembly
- Wikitext
- Yacc
- Yul
- Zig
- hoon
Starred repositories
2
stars
written in Julia
Clear filter
Convex optimization for fun and profit. (Now in Julia!)
Ecne: An engine for verifying the soundness of R1CS constraints