Highlights
Stars
- All languages
- Ada
- Arduino
- Assembly
- Astro
- Ballerina
- Batchfile
- Bicep
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- CUE
- Chapel
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Crystal
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Eagle
- Eiffel
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- G-code
- GAP
- GDScript
- GLSL
- Gherkin
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- Logos
- Lua
- M4
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Python
- QML
- R
- RPC
- RPM Spec
- Racket
- RenderScript
- RobotFramework
- Roff
- RouterOS Script
- Ruby
- Rust
- SCSS
- SWIG
- SaltStack
- Scala
- Scheme
- Self
- Shell
- Smarty
- Solidity
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- UnrealScript
- V
- VBA
- VHDL
- Verilog
- Vim Script
- Vue
- Wren
- YAML
- Yacc
- Zig
- hoon
- sed
8
stars
written in Clojure
Clear filter
A framework for distributed systems verification, with fault injection
Native, fast starting Clojure interpreter for scripting
Titanoboa makes complex workflows easy. It is a low-code workflow orchestration platform for JVM - distributed, highly scalable and fault tolerant.
Verifies the linearizability of experimentally accessible histories.
PCP: Clojure Processor -- A Clojure replacement for PHP