Skip to content
View Qata's full-sized avatar
  • Sydney

Organizations

@ReSwift @MonadicConsulting

Block or report Qata

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Empowering everyone to build reliable and efficient software.

Rust 111,710 14,777 Updated Apr 5, 2026

A Flash Player emulator written in Rust

Rust 17,917 1,001 Updated Apr 5, 2026

Practical mutation testing and fault injection for C and C++

C++ 802 79 Updated Apr 5, 2026

A verification toolchain for Rust programs

OCaml 673 59 Updated Apr 5, 2026

Rust Linux-compatible kernel

Rust 1,929 81 Updated Apr 5, 2026

Verified Rust for low-level systems code

Rust 2,400 158 Updated Apr 5, 2026

Rust Implementation of the Buttplug Sex Toy Control Protocol

Rust 1,149 102 Updated Apr 5, 2026

Abjects: LLM-Mediated Object System

TypeScript 18 1 Updated Apr 4, 2026

Tiny Erlang VM

Erlang 2,099 149 Updated Apr 4, 2026

Mirror of https://gitlab.redox-os.org/redox-os/redox

Rust 16,192 989 Updated Apr 4, 2026

πŸ’₯πŸ’»πŸ’₯ A data-parallel functional programming language

Haskell 2,691 198 Updated Apr 4, 2026

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Python 44,024 1,797 Updated Apr 4, 2026

A Verified Compiler for Gallina, Written in Gallina

Rocq Prover 161 37 Updated Apr 4, 2026

A fast, friendly, functional language.

Zig 5,551 373 Updated Apr 4, 2026

A little language inspired by Rust that compiles to Go

Rust 335 1 Updated Apr 4, 2026

A tool to identify unused code in Swift projects.

Swift 6,059 228 Updated Apr 4, 2026

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

TypeScript 4,852 208 Updated Apr 4, 2026

The Software Analysis Workbench

Haskell 497 78 Updated Apr 4, 2026

A SwiftUI view that renders LaTeX.

Swift 355 65 Updated Apr 4, 2026

A cross-platform GUI library for Rust, inspired by Elm

Rust 30,072 1,543 Updated Apr 4, 2026

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

C 11,435 879 Updated Apr 4, 2026

A Proof-oriented Programming Language

F* 2,991 249 Updated Apr 4, 2026
PureScript 105 5 Updated Apr 4, 2026

A private, p2p alternative to Slack and Discord built on Tor & IPFS

C 2,562 130 Updated Apr 3, 2026

Embedded Scheme for the Rust Ecosystem

Rust 315 22 Updated Apr 3, 2026

🍜 A tasty Haskell web framework

Haskell 2,387 160 Updated Apr 3, 2026

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Reason 3,433 124 Updated Apr 3, 2026

3d city builder game

JavaScript 1,658 355 Updated Apr 3, 2026

A modern TLS library in Rust

Rust 7,326 812 Updated Apr 3, 2026

Apple cctools port for Linux and *BSD

C 790 179 Updated Apr 3, 2026
Next