Git Product home page Git Product logo

Jared Carlson's Projects

aifh icon aifh

Artificial Intelligence for Humans

alloyanalyzer icon alloyanalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

auto-code-rover icon auto-code-rover

A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 15.95% tasks in full SWE-bench

bap icon bap

Binary Analysis Platform

bridgedgepiterator icon bridgedgepiterator

Providing a bridged GEP iterator for LLVM 3.8 to 4.0 where the operator*() is no longer supported and we need the pointer to.

capstone icon capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)

class-dump icon class-dump

Generate Objective-C headers from Mach-O files.

cmonster icon cmonster

Python wrapper for the Clang C++ preprocessor and parser.

coq icon 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.

crab icon crab

A language-agnostic library for abstract interpretation

csmith icon csmith

Csmith, a random generator of C programs

cspgen icon cspgen

A tool for translating imperative programs to CSP.

decache icon decache

Extract *usable* file from the iOS dyld shared cache

decompiler icon decompiler

A decompiler with multiple backend support, written in Python. Works with IDA and Capstone.

deepchess icon deepchess

A TensorFlow implementation of "DeepChess: End-to-End Deep Neural Network for Automatic Learning in Chess"

dg icon dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

fkrf icon fkrf

FreeBSD 12.0 port of KRF

francis icon francis

LLDB engine based tool to instrument OSX apps and triage crashes

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.