Aurel300

Aurel300's Stars

• nothings/stb

  stb single-file public domain libraries for C/C++

  Language:C27.5k6278447.7k

• reactos/reactos

  A free Windows-compatible Operating System

  Language:C14.9k35401.8k

• textmate/textmate

  TextMate is a graphical text editor for macOS 10.12 or later

  Language:Objective-C++14.2k95001.7k

• darlinghq/darling

  Darwin/macOS emulation layer for Linux

  Language:Objective-C11.7k2421.2k451

• phoboslab/qoi

  The “Quite OK Image Format” for fast, lossless image compression

  Language:C7k93161330

• ravynsoft/ravynos

  A BSD-based OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.

  Language:C5.7k117289192

• HexFiend/HexFiend

  A fast and clever hex editor for macOS

  Language:Objective-C5.4k104323436

• openblockchains/awesome-blockchains

  A collection about awesome blockchains - open distributed public databases w/ crypto hashes incl. git ;-). Blockchains are the new tulips :tulip::tulip::tulip:. Distributed is the new centralized.

  Language:Ruby3.7k1443441

• tyilo/insert_dylib

  Command line utility for inserting a dylib load command into a Mach-O binary

  Language:C1.8k579332

• viperproject/prusti-dev

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

  Language:Rust1.6k21475109

• egraphs-good/egg

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

  Language:Rust1.4k24140142

• code-golf/code-golf

  A game designed to let you show off your code-fu by solving problems in the least number of characters.

  Language:Go1.2k11629110

• skeeto/branchless-utf8

  Branchless UTF-8 decoder

  Language:C59526832

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq48945251172

• pavel-krivanek/PharoChipDesigner

  A little chip design game inspired by KOHCTPYKTOP: Engineer of the People by Zachtronics

  Language:Smalltalk1421025

• lix-pm/lix.client

  A dependable package manager for your Haxe projects

  Language:Haxe1191315624

• LandingEllipse/kitti3

  Kitty drop-down service for sway & i3wm

  Language:Python1072255

• GrosQuildu/CryptoAttacks

  Implementation of attacks on cryptosystems

  Language:Python694013

• RealyUniqueName/Coro

  Async/await, generators, and arbitrary coroutines for Haxe

  Language:OCaml57913

• HaxeFoundation/record-macros

  Macro-based ORM (object-relational mapping)

  Language:Haxe4993225

• haxiomic/vector-math

  Shader-math in haxe: library for GLSL vector operations, complete with swizzles and all

  Language:Haxe417127

• retronx-team/switch-haxe

  Switch Haxe sample project

  Language:Makefile28821

• RealyUniqueName/HHP

  PHP-like templating system for Haxe

  Language:Haxe26751

• shohei909/haxe_stb_ogg_sound

  public domain ogg decoder writen in Haxe.

  Language:Haxe26244

• Aidan63/hxcppdbg

  experimental hxcpp debugger using the windows debugger engine or lldb

  Language:C++232262

• EliteMasterEric/hxcpp-interop-testbench

  Minimal working example projects to call C++ code from Haxe.

  Language:Haxe23311

• bobbyi/Fast-Bit-Counting

  Count how many bits are set (population count) in C++ using POPCNT via inline assembly and gcc intrinsics (with benchmarks)

  Language:C++15323

• josuigoa/hxmoveapi

  Language:Haxe6300

• mkalam-alami/jsx-pistols

  TypeScript and JSX as web templates

  Language:TypeScript22190

• songyahui/Timed_Verification

  Language:C1100