Giters
Mak Nazečić-Andrlon (Muon)

Muon

Geek Repo

10

followers

2

following

84

stars

Location:Australia

Github PK Tool:Github PK Tool

Mak Nazečić-Andrlon's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:97534Issues:1475Issues:54767

localsend

An open-source cross-platform alternative to AirDrop

Language:DartLicense:Apache-2.0Stargazers:47782Issues:253Issues:955

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:33170Issues:88Issues:2523

KaTeX

Fast math typesetting for the web.

Language:JavaScriptLicense:MITStargazers:18286Issues:283Issues:1597

prepack

A JavaScript bundle optimizer.

Language:JavaScriptLicense:NOASSERTIONStargazers:14216Issues:263Issues:769

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10455Issues:99Issues:190

rr

Record and Replay Framework

Language:C++License:NOASSERTIONStargazers:9125Issues:159Issues:2020

psst

Fast and multi-platform Spotify client with native GUI

Language:RustLicense:MITStargazers:8465Issues:47Issues:323

pyWhat

🐸 Identify anything. pyWhat easily lets you identify emails, IP addresses, and more. Feed it a .pcap file or some text and it'll tell you what it is! 🧙‍♀️

Language:PythonLicense:MITStargazers:6549Issues:70Issues:82

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2893Issues:79Issues:2728

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2680Issues:79Issues:2037

c8

output coverage reports using Node.js' built in coverage

Language:JavaScriptLicense:ISCStargazers:1988Issues:19Issues:235

TownGeneratorOS

The source code of the Medieval Fantasy City Generator

Language:HaxeLicense:GPL-3.0Stargazers:1610Issues:93Issues:17

stateright

A model checker for implementing distributed systems.

Language:RustLicense:MITStargazers:1565Issues:23Issues:31

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1554Issues:21Issues:475

egg

egg is a flexible, high-performance e-graph library

Language:RustLicense:MITStargazers:1358Issues:23Issues:138

rust_libloading

Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.

Language:RustLicense:ISCStargazers:1229Issues:14Issues:97

ajour

A World of Warcraft addon manager written in Rust.

Language:RustLicense:GPL-3.0Stargazers:1021Issues:15Issues:383

SpecialK

Lovingly referred to as the Swiss Army Knife of PC gaming, Special K does a bit of everything.

Language:C++License:GPL-3.0Stargazers:870Issues:11Issues:123

hvm-64

Language:RustLicense:Apache-2.0Stargazers:497Issues:17Issues:16

egglog

egraphs + datalog!

Language:RustLicense:MITStargazers:426Issues:16Issues:154

automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

Language:PythonLicense:MITStargazers:341Issues:10Issues:90

links

Links: Linking Theory to Practice for the Web

Language:OCamlLicense:NOASSERTIONStargazers:321Issues:18Issues:589

bedrock2

A work-in-progress language and compiler for verified low-level programming

Language:CoqLicense:MITStargazers:293Issues:15Issues:103

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Language:SMTLicense:NOASSERTIONStargazers:201Issues:14Issues:87

gogll

Generates generalised LL (GLL) and reduced size LR(1) parsers with matching lexers

Language:GoLicense:Apache-2.0Stargazers:192Issues:12Issues:15

automatarium

A place for automata

Language:TypeScriptLicense:MITStargazers:68Issues:3Issues:212

riggedregex

Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust

Language:RustLicense:MPL-2.0Stargazers:19Issues:3Issues:0

Prototype

Prototype of set-theoretic type system, with polymorphism and type inference.

Language:OCamlLicense:MITStargazers:11Issues:7Issues:1

egg

egg is a flexible, high-performance e-graph library

Language:RustLicense:MITStargazers:9Issues:2Issues:0