mmabdpr's Stars
meta-llama/codellama
Inference code for CodeLlama models
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
frohoff/ysoserial
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
OpenAccess-AI-Collective/axolotl
Go ahead and axolotl questions
OpenBMB/ToolBench
[ICLR'24 spotlight] An open platform for training, serving, and evaluating large language model for tool learning.
jamesmh/coravel
Near-zero config .NET library that makes advanced application features like Task Scheduling, Caching, Queuing, Event Broadcasting, and more a breeze!
bflattened/bflat
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
mcintyre321/OneOf
Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
Bismuth-Forge/bismuth
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
namazso/SecureUxTheme
🎨 A secure boot compatible in-memory UxTheme patcher
Storyyeller/Krakatau
Java decompiler, assembler, and disassembler
hcoles/pitest
State of the art mutation testing system for the JVM
varabyte/kobweb
A modern framework for full stack web apps in Kotlin, built upon Compose HTML
runestubbe/Crinkler
Crinkler is an executable file compressor (or rather, a compressing linker) for compressing small 32-bit Windows demoscene executables. As of 2020, it is the most widely used tool for compressing 1k/4k/8k intros.
mstrobel/procyon
Procyon is a suite of Java metaprogramming tools, including a rich reflection API, a LINQ-inspired expression tree API for runtime code generation, and a Java decompiler.
fsprojects/FSharp.Data
F# Data: Library for Data Access
microsoft/infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
secana/PeNet
Portable Executable (PE) library written in .Net
CryptDB/cryptdb
A database system that can process SQL queries over encrypted data.
andrijac/ruler
Simple on-screen pixel ruler.
praeclarum/1brc
1️⃣🐝🏎️ The One Billion Row Challenge - .NET Edition
vthost/DAGNN
A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong inductive bias besides other suitable architectural features.
keifufu/cute-borders
Customize window border colors :3
GT-TDAlab/dagP
Multilevel Directed Acyclic Graph Partitioner
microsoft/InferredBugs
InferredBugs: a metadata-rich dataset of bugs and fixes in Java and C# programming languages extracted with the Infer static analyzer
snyk/java-call-graph-builder
Tool for building a call graph for the JVM ecosystem (Maven, Gradle...)
subpop/wallhaven-wallpaper-plasma
Plasma wallpaper plugin that loads images from wallhaven.cc
snyk/dotnet-deps-parser
Generate a dependency tree from .NET & .NET Core manifest files
usc-softarch/arcade_core
Core ARCADE functionalities
severoufc/junbundler
JUnbundler is a tool aimed to support the unbundling process of Java projects and it's part of a exploratory study on API unbunding.