Eliza Zhang elldritch
Stars
- All languages
- APL
- ActionScript
- Adblock Filter List
- Agda
- ApacheConf
- Arc
- Arduino
- Assembly
- Awk
- Ballerina
- Batchfile
- Bikeshed
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Ceylon
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- DM
- Dafny
- Dart
- Dhall
- Dockerfile
- Earthly
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Fennel
- Flix
- Fortran
- Frege
- GAMS
- GDScript
- Gherkin
- Gleam
- Go
- Groovy
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- KerboScript
- Koka
- Kotlin
- Lean
- LiveScript
- Lua
- M
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- MiniZinc
- Mustache
- NSIS
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- PHP
- PLpgSQL
- Pascal
- Perl
- Pike
- Pony
- PowerShell
- Prolog
- Pug
- PureScript
- Python
- QML
- Racket
- Raku
- ReScript
- Reason
- Red
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Squirrel
- Standard ML
- Starlark
- Svelte
- Swift
- TLA
- TSQL
- TeX
- Thrift
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- YARA
- Zig
- hoon
- q
3
stars
written in Coq
Clear filter
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
An axiom-free formalization of category theory in Coq for personal study and practical work