Computer Science
7,622 items in 38 lists
-
Fixinator fixinator.app
copyright: — Static security code analysis for ColdFusion or CFML code. Designed to work within a CI pipeline or from the developers terminal.
-
Find Security Bugs find-sec-bugs.github.io
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
-
redex fbredex.com
Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.
-
Infer fbinfer.com
A static analyzer for Java, C and Objective-C
-
fb-contrib fb-contrib.sourceforge.net
A plugin for FindBugs with additional bug detectors.
-
Fallow fallow.tools
Rust-native static analysis for JavaScript and TypeScript. Maps a repository as one dependency graph to find unused code and structural problems across file boundaries. Runs from the CLI or GitHub Actions, with VS Code, LSP, MCP, and Node API integrations.
-
ESBMC esbmc.org
ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.
-
Error Prone errorprone.info
Catch common Java mistakes as compile-time errors.
-
dialyzer erlang.org
The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs. Dialyzer is a static analysis tool that identifies software discrepancies, such as definite type errors, code that has become dead or unreachable because of programming error, and unnecessary tests, in single Erlang…
-
Enforster AI enforster.ai
copyright: — Enforster AI performs Contextual Code Security SAST, leveraging LLMs and artificial intelligence to reduce and enrich the detection of Logic Flaws, Secrets, Data leaks, Supply chain and technical vulnerabilities.
-
Embold embold.io
copyright: — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.
-
cargo-deny embarkstudios.github.io
A cargo plugin for linting your dependencies. It can be used either as a command line too, a Rust crate, or a Github action for CI. It checks for valid license information, duplicate crates, security vulnerabilities, and more.
-
PHPQA edgedesigncz.github.io
A tool for running QA tools (phploc, phpcpd, phpcs, pdepend, phpmd, phpmetrics).
-
flawfinder dwheeler.com
Finds possible security weaknesses.
-
dotenv-linter dotenv-linter.readthedocs.io
Linting dotenv files like a charm.
-
dotenv-linter (Rust) dotenv-linter.github.io
Lightning-fast linter for .env files. Written in Rust
-
RuboCop docs.rubocop.org
A Ruby static code analyzer, based on the community Ruby style guide.
-
goodpractice docs.ropensci.org
Analyses the source code for R packages and provides best-practice recommendations.
-
OpenRewrite docs.openrewrite.org
OpenRewrite fixes common static analysis issues reported through Sonar and other tools using a Maven and Gradle plugin or the Moderne CLI.
-
Freeplane Code Explorer docs.freeplane.org
The Code Explorer mode in Freeplane is designed for analyzing the structure and dependencies of code compiled to JVM class files. It also allows displaying ArchUnit test results directly in Freeplane, if Freeplane is running and ArchUnit detects rule violations during the tests.
-
cookstyle docs.chef.io
Cookstyle is a linting tool based on the RuboCop Ruby linting tool for Chef cookbooks.
-
ty docs.astral.sh
An extremely fast Python type checker written in Rust.
-
abapOpenChecks docs.abapopenchecks.org
Enhances the SAP Code Inspector with new and customizable checks.
-
Diffblue diffblue.com
copyright: — Diffblue is a software company that provides AI-powered code analysis and testing solutions for software development teams. Its technology helps developers automate testing, find bugs, and reduce manual labor in their software development processes. The company's…
-
diff.rs diff.rs
Web application (WASM) to render a diff between Rust crate versions.
-
Similarity Tester dickgrune.com
A tool that finds similarities between or within files to support you encountering DRY principle violations.
-
CodeRush devexpress.com
copyright: — Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.
-
Closure Compiler developers.google.com
A compiler tool to increase efficiency, reduce size, and provide code warnings in JavaScript files.
-
Android Lint developer.android.com
Run static analysis on Android projects.
-
Android Studio developer.android.com
Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.
-
detekt detekt.github.io
Static code analysis for Kotlin code.
-
DesigniteJava designite-tools.com
copyright: — DesigniteJava supports detection of various architecture, design, and implementation smells along with computation of various code quality metrics.
-
SIMS 240: Principles of Information Retrieval www2.sims.berkeley.edu
Ray R. Larson (UC berkeley).
-
Document Understanding Conference (DUC) datasets www-nlpir.nist.gov
Past newswire/paper datasets (DUC 2001 - DUC 2007) are available upon request.
-
Introduction to Information Retrieval www-nlp.stanford.edu
C.D. Manning, P. Raghavan, H. Schütze. Cambridge UP, 2008. (First book for getting started with Information Retrieval).
-
WSDM wsdm-conference.org
.
-
Whoa, Google’s AI Is Really Good at Pictionary wired.com
Sketch-based search.
-
DBPedia wiki.dbpedia.org
Linked data web.
-
CS 276 / LING 286: Information Retrieval and Web Search web.stanford.edu
Chris Manning and Pandu Nayak (Stanford University).
-
University of Tennesse Knoxville web.eecs.utk.edu
-
Challenges in Building Large-Scale Information Retrieval Systems videolectures.net
Jeff Dean (WSDM Conference, 2009).
-
Web Track trec.nist.gov
Explore information seeking behaviors common in general web search.
-
Terabyte Track trec.nist.gov
Test scalability of IR systems to large scale collection.
-
Temporal Summarization Track trec.nist.gov
Develop systems that allow users to efficiently monitor the information associated with an event over time.
-
Tasks Track trec.nist.gov
Test if systems can induce possible tasks, users might be trying to accomplish for the query.
-
SPAM Track trec.nist.gov
Benchmark spam filtering approaches.
-
Session Track trec.nist.gov
Develop methods for measuring multiple-query sessions where information needs drift.
-
Robust Track trec.nist.gov
Study individual topic's effectiveness.
-
Relevance Feedback Track trec.nist.gov
For deep evaluation of relevance feedback processes.
-
Question Answering Track trec.nist.gov
Test systems that scale beyond document retrieval, to retrieve answers to factoid, list and definition type questions.
- next page of items loading…
