🌊
cantankerous and querulous, he was as the sea to the shore
Logyi, hajnalvédő lojikil
🌊
cantankerous and querulous, he was as the sea to the shore
Former DIR of OffSec & former Unix Curmudgeon. Totally available for discussions of phantom types. Dad, PLT Philosopher, Tolstoy, Epictetus, Jun Tsuji, & Camus
Highlights
- Pro
Organizations
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ATS
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bluespec
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Dylan
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Fluent
- Forth
- Fortran
- Futhark
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- KCL
- Koka
- Kotlin
- LLVM
- Lean
- Limbo
- Linear Programming
- Logtalk
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Nemerle
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Odin
- Open Policy Agent
- OpenEdge ABL
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- REXX
- RPM Spec
- Racket
- ReScript
- Reason
- Red
- Roc
- Roff
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smali
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TLA
- TeX
- Text
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Visual Basic 6.0
- Vue
- WebAssembly
- XSLT
- YAML
- YARA
- Zeek
- Zig
Starred repositories
2
stars
written in TLA
Clear filter
Very small examples of TLA+ features.
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)