-
@wombatsecurity a division of Proofpoint
- Pittsburgh, PA
- https://benizi.com
Stars
- All languages
- APL
- Assembly
- Awk
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fluent
- Forth
- Frege
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Just
- Koka
- Kotlin
- Lua
- NSIS
- Nim
- Nix
- OCaml
- PHP
- Perl
- PureScript
- Python
- REXX
- Rascal
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Zig
Fast starting Clojure runtime built with GraalVM native-image + Crema
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
The Gameboy emulator that runs everywhere (Terminal, Web, Desktop)
A repository of Maker Skill Trees and templates to make your own.
An open-source authorization as a service inspired by Google Zanzibar, designed to build and manage fine-grained and scalable authorization systems for any application. — Permify is now part of Fus…
A highly concurrent, low latency, highly available monotonic hybrid timestamp service.
A cross-platform audio recording/playback CLI tool with TUI, written in Rust.
A Nix library to download files from the internet without requiring a hash
A golang library for building interactive and accessible prompts with full support for windows and posix terminals.
Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.
Snappy and configuration-free text editor/IDE for the terminal. Suitable for writing git commit messages, editing Markdown, config files, source code, man pages and for quick edit-format-compile cy…
A markup-based typesetting system that is powerful and easy to learn.
A modern Prolog implementation written mostly in Rust.