Stars
- All languages
- Agda
- Arduino
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Dafny
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Forth
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Kotlin
- Lean
- Lua
- Makefile
- Nim
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Prolog
- Python
- QML
- Racket
- ReScript
- Red
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Scheme
- Shell
- Standard ML
- TeX
- TypeScript
- 5866 UrWeb
- VHDL
- Vala
- Verilog
- XSLT
- hoon
1
star
written in Prolog
Clear filter