Lists (3)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASL
- Ada
- AppleScript
- Arduino
- Astro
- AutoHotkey
- AutoIt
- Batchfile
- BitBake
- C
- C#
- C++
- CSS
- CUE
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- FLUX
- Flix
- Forth
- Fortran
- G-code
- GDScript
- GLSL
- Game Maker Language
- Gherkin
- Go
- HCL
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- HolyC
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Less
- LookML
- Lua
- Luau
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- MoonBit
- Motoko
- NSIS
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Prolog
- PureScript
- Python
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Slint
- Smali
- Smalltalk
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TSQL
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- Uno
- UrWeb
- V
- Vim Script
- Visual Basic
- Visual Basic 6.0
- Vue
- WebAssembly
- Xtend
- YAML
- Zig
- templ
Starred repositories
3
results
for source starred repositories
written in Prolog
Clear filter
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro
Golang implementation of datalog, port of MITRE corporation's lua implementation