bfsc

bfsc's Stars

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript304k6.8k2.6k39.8k

• google/gson

  A Java serialization/deserialization library to convert Java Objects into JSON and back

  Language:Java23.5k7331.6k4.3k

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust19.2k2091.5k1.6k

• noisetorch/NoiseTorch

  Real-time microphone noise suppression on Linux.

  Language:Go9.4k70319225

• raphw/byte-buddy

  Runtime code generation for the Java virtual machine.

  Language:Java6.3k1681.5k808

• EsotericSoftware/kryo

  Java binary serialization and cloning: fast, efficient, automatic

  Language:HTML6.2k289744829

• dorssel/usbipd-win

  Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

  Language:C#3.9k50499238

• galaxyproject/galaxy

  Data intensive science for everyone.

  Language:Python1.4k696.4k1k

• ishepard/pydriller

  Python Framework to analyse Git repositories

  Language:Python85019162146

• coccinelle/coccinelle

  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

  Language:OCaml63333342102

• kostaskougios/cloning

  deep clone java objects

  Language:Java59341102112

• usethesource/rascal

  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

  Language:Java412271.9k77

• sovworks/edslite

  EDS "lite" edition

  Language:Java288174264

• tree-sitter/tree-sitter-graph

  Construct graphs from parsed source code

  Language:Rust227145718

• partouf/OBSInfoWriter

  Multiplatform version of ObsInfoPlugin to write timestamps to a file

  Language:CMake152115324

• pietrobraione/jbse

  A symbolic Java virtual machine for program analysis, verification and test generation

  Language:Java10873929

• KeYProject/key

  KeY Theorem Prover for Deductive Java Verification

  Language:Java4943.1k27

• spgroup/ORM-Smells-Catalog

  Repository for the ORM-related Code Smells catalog

  381001

• springfielddatarecovery/mycloud-restsdk-recovery-script

  A script to recover files from MyCloud REST SDK Folder Structure

  Language:Python316018

• bfsc/reviewer

  Tool support for literature review subtle process.

  Language:Java1711734

• gittrends-app/github-proxy-server

  A tool for massive data collection from GitHub APIs (Rest and GraphQL)

  Language:TypeScript17234

• dev-roadmap/livros

  16401

• CRaFT4ik/c-control-flow-graph

  Control-flow graph for C sources using ANTLR

  Language:Kotlin5130

• bfsc/qmethod

  Q Methodology System written in AngularJS

  Language:JavaScript43106

• lazy-clone/clone-factory

  Language:Java1

• vsnepomuceno/dtscrum

  A tool for task assignments at SCRUM Process.

  00

• figueredo/fisl14

  FISL 14 presentation

  Language:JavaScript