Skip to content

@SUTD SUTD

Change the repository type filter

All

    Repositories list

    111 repositories

    • yices2

      Public
      The Yices SMT Solver
      SMT
      •
      GNU General Public License v3.0
      •47•0•0•0•Updated Nov 4, 2020Nov 4, 2020

    • bash-it

      Public
      A community Bash framework.
      Shell
      •2.3k•0•0•0•Updated Jul 30, 2020Jul 30, 2020

    • FlameGraph

      Public
      Stack trace visualizer
      Perl
      •2k•0•0•0•Updated Sep 7, 2019Sep 7, 2019

    • pFuzzer

      Public
      The parser-directed Fuzzer
      LLVM
      •
      GNU General Public License v3.0
      •5•0•0•0•Updated Apr 27, 2019Apr 27, 2019

    • ELINA

      Public
      ELINA: ETH LIbrary for Numerical Analysis
      C
      •
      Other
      •53•0•0•0•Updated Feb 13, 2019Feb 13, 2019

    • Deckard

      Public
      Code clone detection; clone-related bug detection; sematic clone analysis
      C
      •
      Other
      •78•0•0•0•Updated Jan 29, 2019Jan 29, 2019

    • awesome-machine-learning-on-source-code

      Public
      Cool links & research papers related to Machine Learning applied to source code (MLonCode)
      Creative Commons Attribution Share Alike 4.0 International
      •843•0•0•0•Updated Dec 10, 2018Dec 10, 2018

    • frp

      Public
      A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
      Go
      •
      Apache License 2.0
      •13k•0•0•0•Updated May 17, 2018May 17, 2018

    • smart-contract-best-practices

      Public
      A guide to smart contract security best practices
      HTML
      •1.5k•0•0•0•Updated May 9, 2018May 9, 2018

    • gosat

      Public
      SMT solver for the theory of floating-point arithmetic
      C++
      •
      MIT License
      •8•0•0•0•Updated Jan 30, 2018Jan 30, 2018

    • hacker101

      Public
      Hacker101
      CSS
      •2.5k•0•0•0•Updated Jan 28, 2018Jan 28, 2018

    • libsvm

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •1.6k•0•0•0•Updated Dec 14, 2017Dec 14, 2017

    • deepxplore

      Public
      DeepXplore code release
      Python
      •
      MIT License
      •146•0•0•0•Updated Nov 8, 2017Nov 8, 2017

    • Triton

      Public
      Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
      C++
      •
      Other
      •539•0•0•0•Updated May 25, 2017May 25, 2017

    • neovim

      Public
      Vim-fork focused on extensibility and usability.
      Vim Script
      •
      Other
      •5.7k•0•0•0•Updated May 24, 2017May 24, 2017

    • flex

      Public
      The Fast Lexical Analyser
      C
      •
      Other
      •537•0•0•0•Updated Feb 3, 2017Feb 3, 2017

    • compass

      Public
      C++
      •1•0•0•0•Updated Jan 18, 2017Jan 18, 2017

    • 8cc

      Public
      A Small C Compiler
      C
      •
      MIT License
      •747•0•0•0•Updated Dec 22, 2016Dec 22, 2016

    • bottomupcs

      Public
      Bottom Up Computer Science
      HTML
      •152•0•0•0•Updated Sep 6, 2016Sep 6, 2016

    • thesis-template

      Public
      TeX
      •15•0•0•0•Updated Aug 30, 2016Aug 30, 2016

    • T2

      Public
      T2 Temporal Prover
      C
      •
      Other
      •14•0•0•0•Updated Jun 20, 2016Jun 20, 2016

    • my_toy_compiler

      Public
      My Toy Compiler. Read about how I did it at the homepage URL
      C
      •211•0•0•0•Updated Jun 1, 2016Jun 1, 2016

    • fonts

      Public
      Patched fonts for Powerline users.
      Shell
      •3.2k•0•0•0•Updated May 30, 2016May 30, 2016

    • CRYENGINE

      Public
      CRYENGINE source code.
      C++
      •2.1k•0•0•0•Updated May 25, 2016May 25, 2016

    • cpachecker

      Public
      CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
      C
      •
      Other
      •90•0•0•0•Updated May 24, 2016May 24, 2016

    • woboq_codebrowser

      Public
      Woboq CodeBrowser
      C++
      •161•0•0•0•Updated May 16, 2016May 16, 2016

    • Best-App

      Public
      收集&推荐优秀的 Apps/硬件/技巧/周边等
      1.8k•0•0•0•Updated May 7, 2016May 7, 2016

    • ChezScheme

      Public
      Chez Scheme
      Scheme
      •
      Apache License 2.0
      •987•0•0•0•Updated May 2, 2016May 2, 2016

    • compiler

      Public
      a mini C-like language(C1) compiler
      C
      •13•0•0•0•Updated Apr 30, 2016Apr 30, 2016

    • vimari

      Public
      Safari port of vimium
      JavaScript
      •
      MIT License
      •233•0•0•0•Updated Apr 23, 2016Apr 23, 2016