- Greece
- http://assertfail.gewalli.se
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Arduino
- Assembly
- Batchfile
- Bicep
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Dockerfile
- EJS
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Go
- HCL
- HTML
- Haskell
- IL Assembly
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- LFE
- Lua
- Max
- Mercury
- Mustache
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- Pony
- PostScript
- PowerShell
- Python
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- TypeSpec
- Vim Script
- Zig
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
NeTEx is the CEN Technical Specification for exchanging Public Transport static data.
CLI / Framework for Agent Skills - create, test, measure and improve skill quality and effectiveness
A repository to evaluate the chat customizations
Mutation testing for .NET core and .NET framework!
A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
Use GitHub Copilot to get code reviews in your Azure DevOps repos
Helps creating protected web apps and web APIs with Microsoft identity platform and Azure AD B2C
A menagerie of cute implementations of modern typechecking algorithms
A guide for setting up the nicest terminal Windows has ever had
Headless cloud-native authentication and identity management written in Go. Scales to a billion+ users. Replace Homegrown, Auth0, Okta, Firebase with better UX and DX. Passkeys, Social Sign In, OID…
An ansible-native testing framework for collections, playbooks, and roles with configurable workflows for testing any system or service
Ansible role to install microk8s on ubuntu
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
An OpenTelemetry backend in a Docker container image
Simple Clojure tooling for AI coding assistants
A modern, cross platform IDE for .NET, built with .NET & Godot
A Github Action that allow to deploy a website on IIS
OpenID Connect (OIDC) identity and OAuth 2.0 provider with pluggable connectors
A reasonably complete and well-tested golang port of httpbin, with zero dependencies outside the go stdlib.
Erlang Language Platform. LSP server and CLI.





