B1Z0N's Stars
ReVanced/revanced-manager
💊 Application to use ReVanced on Android
hylo-lang/hylo
The Hylo programming language
crablang/crab
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
FixTweet/FxTwitter
Fix broken Twitter/X embeds! Use multiple images, videos, polls, translations and more on Discord, Telegram and others
retrage/gpt-macro
ChatGPT powered Rust proc macro that generates code at compile-time.
dylan-lang/opendylan
Open Dylan compiler and IDE
programminglanguages/programminglanguages.info
Generated website files
munificent/magpie
The Magpie programming language
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
newspeaklanguage/newspeak
Newspeak is a live object-capability language in the Smalltalk tradition
talksmall/Strongtalk
Strongtalk VM
HaxeFoundation/haxe
Haxe - The Cross-Platform Toolkit
nvim-lua/kickstart.nvim
A launch point for your personal nvim configuration
PipedreamHQ/pipedream
Connect APIs, remarkably fast. Free for developers.
plfa/plfa.github.io
An introduction to programming language theory in Agda
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
FStarLang/FStar
A Proof-oriented Programming Language
isabelle-prover/mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
leanprover/lean4
Lean 4 programming language and theorem prover
Sophietje/Verification-Tool-Overview
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
2bdkid/refinement
Convenient creation of type-safe refinement types.
runtimeverification/k
K Framework Tools 7.0
Z3Prover/z3
The Z3 Theorem Prover
model-checking/kani
Kani Rust Verifier
abiosoft/colima
Container runtimes on macOS (and Linux) with minimal setup
JunSuzukiJapan/macro-lisp
Lisp-like DSL for Rust language
rust-lang/rustfmt
Format Rust code
google/osv-scanner
Vulnerability scanner written in Go which uses the data provided by https://osv.dev