-
defsoftware
- Sweden
- https://qerub.github.io/
Stars
- All languages
- ANTLR
- Agda
- AppleScript
- Arduino
- Assembly
- Awk
- C
- C#
- C++
- CSS
- CUE
- Ceylon
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- D
- Dhall
- Dockerfile
- Dylan
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fancy
- Flix
- FreeMarker
- Frege
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LFE
- LLVM
- Lean
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- Mustache
- NSIS
- Nim
- OCaml
- Objective-C
- Objective-C++
- Opa
- PHP
- PLpgSQL
- Pascal
- Perl
- PlantUML
- Pony
- PostScript
- PowerShell
- Puppet
- PureScript
- Python
- R
- Racket
- Ragel
- Ragel in Ruby Host
- Raku
- ReScript
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Shen
- Smalltalk
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Vim Script
- WebAssembly
- XSLT
- Yacc
- Zig
- hoon
- wisp
Go library and CLIs for working with container registries
Autonomous CTF solver that races multiple AI models in parallel. 1st place BSidesSF 2026.
A Clojure web framework for solo developers.
A configuration as code language with rich validation and tooling.
Packer plugin for building KubeVirt images
Access large language models from the command-line
[SIGMOD 2026] F3: The Open-Source Data File Format for the Future
A simple, fast and versatile Datalog database
/ˈdʏf/ - diff tool for YAML files, and sometimes JSON
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
Fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (NPE, thre…
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
REPL-integrated Clojure-to-Java decompiler
Decompiler from Java bytecode to Java, used in IntelliJ IDEA.
Beads - A memory upgrade for your coding agent
Tool for rendering manifest changes on pull requests.
⚙️A certificate issuer for cert-manager using step certificates CA
BPF LSM blocker for CVE-2026-31431 (Copy Fail) — blocks authencesn AF_ALG binds at runtime without rebooting
🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas…