8000 dbueno (dbueno) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View dbueno's full-sized avatar
20 followers · 18 following

Achievements

Achievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Starstruck

Block or report dbueno

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

  • dotfiles Public

    configuration files

    Nix Updated May 11, 2025

  • dex2jar Public

    Forked from pxb1988/dex2jar

    Tools to work with android .dex and java .class files

    Java Apache License 2.0 Updated Apr 30, 2025

  • jadx Public

    Forked from skylot/jadx

    Dex to Java decompiler

    Java Apache License 2.0 Updated Apr 30, 2025

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Apr 1, 2025

  • merjar Public

    Python MIT License Updated Sep 27, 2024

  • rusage Public

    Rust 1 MIT License Updated Sep 12, 2024

  • zettel-graph Public

    Nix Updated Aug 6, 2024

  • sootup-csv-exporter Public

    Java 1 MIT License Updated Jun 20, 2024

  • parse-dimacs Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 20, 2024

  • transitive_closure Public

    Rust MIT License Updated Mar 22, 2024

  • ascent_simple Public

    Nix MIT License Updated Mar 22, 2024

  • vim-shimple Public

    Vim Script MIT License Updated Jan 2, 2024

  • yapall Public

    Forked from GaloisInc/yapall

    A precise and scalable pointer analysis for LLVM, written in Ascent

    C BSD 3-Clause "New" or "Revised" License Updated Oct 5, 2023

  • tree-sitter-souffle Public

    Forked from langston-barrett/tree-sitter-souffle

    A tree-sitter grammar for Soufflé Datalog

    C MIT License Updated Sep 22, 2023

  • euforia Public

    Software model checking with uninterpreted functions abstraction

    C++ 5 MIT License Updated Jul 8, 2023

  • nix-bundle Public

    Forked from nix-community/nix-bundle

    Bundle Nix derivations to run anywhere!

    Nix MIT License Updated Jun 12, 2023

  • souffle Public

    Forked from souffle-lang/souffle

    Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

    C++ Universal Permissive License v1.0 Updated May 16, 2023

  • rose Public

    Forked from rose-compiler/rose

    Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…

    C Other Updated Mar 8, 2023

  • Certora-Tutorials Public

    Forked from Certora/Tutorials

    Practical tutorials of Certora Prover

    Solidity GNU General Public License v3.0 Updated Feb 14, 2023

  • cclyzer-souffle Public

    Forked from plast-lab/cclyzer-souffle

    CClyzer port to souffle lang

    C++ MIT License Updated Nov 1, 2022

  • vimoutliner Public

    Forked from vimoutliner/vimoutliner

    Work fast, think well.

    Vim Script Other Updated Oct 25, 2022

  • horn2vmt Public

    Translation from (linear) Horn clauses into VMT, a logic-based transition system format

    C++ 1 Updated Aug 6, 2022

  • souffle.vim Public

    Forked from souffle-lang/souffle.vim

    Syntax highlighting for souffle files

    Vim Script MIT License Updated Apr 12, 2022

  • bitfunc Public

    Library for building bit-vector and array constraints directly on top of a SAT solver

    C Other Updated Oct 27, 2021

  • dotvim Public

    Forked from greedy/dotvim

    Vim configuration

    Vim Script Updated Jul 28, 2021

  • immer Public

    Forked from arximboldi/immer

    Postmodern immutable and persistent data structures for C++ — value semantics at scale

    C++ Boost Software License 1.0 Updated Jun 23, 2021

  • dbueno.github.io Public

    HTML Updated Jun 16, 2021

  • OutputCheck Public

    Forked from stp/OutputCheck

    A tool for checking tool output inspired by LLVM's FileCheck

    Python BSD 3-Clause "New" or "Revised" License Updated May 14, 2021

  • QFGrep Public

    Forked from sk1418/QFGrep

    a vim plugin to filter entries in Quickfix

    Vim Script Updated Apr 21, 2021

  • tagtime-trends Public

    Forked from alexschell/tagtime-trends

    Interactive displays of TagTime data

    R Updated Jan 4, 2021
0