Giters
… (abandoned-cocoon)

abandoned-cocoon

Geek Repo

34

followers

42

following

301

stars

Github PK Tool:Github PK Tool

…'s starred repositories

embree-rs-custom

Rust wrapper of embree intersection library.

Language:RustLicense:MITStargazers:3Issues:0Issues:0

sylvan

Implementation of multi-core (binary) decision diagrams

Language:CLicense:Apache-2.0Stargazers:65Issues:0Issues:0

nxtool

war

Language:CLicense:MITStargazers:42Issues:0Issues:0

ctr-elf2

Rewrite of ctr-elf to convert 3DS code.bin to .elf

Language:PythonStargazers:27Issues:0Issues:0

bloaty

Bloaty: a size profiler for binaries

Language:C++License:Apache-2.0Stargazers:4562Issues:0Issues:0

pathfinder

A fast, practical GPU rasterizer for fonts and vector graphics

Language:RustLicense:Apache-2.0Stargazers:3466Issues:0Issues:0

hs-to-coq

Convert Haskell source code to Coq source code

Language:CoqLicense:MITStargazers:279Issues:0Issues:0

cargo-fuzz

Command line helpers for fuzzing

Language:RustLicense:Apache-2.0Stargazers:1451Issues:0Issues:0

rust-managed

A library that provides a way to logically own objects, whether or not heap allocation is available

Language:RustLicense:0BSDStargazers:59Issues:0Issues:0

tsuki

:alien: :crystal_ball: Tsuki 月 is a Messenger bot that sends you snapshots from space.

Language:ClojureStargazers:9Issues:0Issues:0

FAR

Fix (NieR) Automata Resolution

Language:C++License:NOASSERTIONStargazers:1226Issues:0Issues:0

gputool

A simple tool for debugging GPU HW

Language:C++License:GPL-3.0Stargazers:54Issues:0Issues:0

Gtk.PanedQuandrent

Nested Gtk.Paned containers to make a quadent with linked panes.

Language:PythonLicense:NOASSERTIONStargazers:1Issues:0Issues:0

StreetMap

Import OpenStreetMap data into Unreal Engine

Language:C++License:MITStargazers:2130Issues:0Issues:0

eresi

The ERESI Reverse Engineering Software Interface

Language:CStargazers:540Issues:0Issues:0

Spire

Language:C++License:NOASSERTIONStargazers:174Issues:0Issues:0

slimshader

SlimShader is a Direct3D shader bytecode parser for .NET and C++

Language:AssemblyStargazers:155Issues:0Issues:0

Tigress_protection

Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

Language:LLVMStargazers:780Issues:0Issues:0

alt-ergo

OCamlPro public development repository for Alt-Ergo

Language:OCamlLicense:NOASSERTIONStargazers:125Issues:0Issues:0

Eldritch

Language:CLicense:NOASSERTIONStargazers:99Issues:0Issues:0

myceline

A pure Rust Readline clone that plans for neat features.

Language:RustLicense:MITStargazers:4Issues:0Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:478Issues:0Issues:0

yodl

A VHDL frontend for Yosys

Language:C++License:GPL-3.0Stargazers:102Issues:0Issues:0

lyon

2D graphics rendering on the GPU in rust using path tessellation.

Language:RustLicense:NOASSERTIONStargazers:2249Issues:0Issues:0

corrode

C to Rust translator

Language:HaskellLicense:GPL-2.0Stargazers:2142Issues:0Issues:0

amethyst

Data-oriented and data-driven game engine written in Rust

Language:RustLicense:NOASSERTIONStargazers:7978Issues:0Issues:0

zinc

The bare metal stack for rust

Language:RustLicense:Apache-2.0Stargazers:1004Issues:0Issues:0

Voxel-Cone-Tracing

Real-time global illumination

Language:C++Stargazers:107Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:4026Issues:0Issues:0

SourceSDKContent

Sources of maps, materials, models, and possibly code I've made to compile for Valve's Source engine. This is intended for archiving/historical, and educational purposes only. These are just source files and besides the maps, can be compiled for any engine.

Language:C++License:Artistic-2.0Stargazers:16Issues:0Issues:0