- Berlin
-
20:06
(UTC +02:00) - https://platformowl.com
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- ActionScript
- Astro
- Awk
- Batchfile
- Bicep
- C
- C#
- C++
- CMake
- CSS
- CUE
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Cuda
- Dart
- DataWeave
- Dockerfile
- Elixir
- Erlang
- F#
- Fluent
- Frege
- GDScript
- Gherkin
- Go
- Go Template
- Groff
- Groovy
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- Meson
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenSCAD
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Starlark
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Vue
- XSLT
- Zig
- eC
4
stars
written in Haskell
Clear filter
Dockerfile linter, validate inline bash, written in Haskell
Parsing, analyzing, and comparing source code across many languages
Main source code repository of the Tamarin prover for security protocol verification.