#
- All languages
- Ada
- Adblock Filter List
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Fortran
- FreeMarker
- Frege
- Go
- Groovy
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- Mercury
- Nim
- OCaml
- Objective-C
- PLpgSQL
- Perl
- Python
- Racket
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Smalltalk
- Standard ML
- TLA
- TeX
- TypeScript
- Zig
Starred repositories
1
star
written in Racket
Clear filter
The Rosette solver-aided host language, sample solver-aided DSLs, and demos