-
Brazilian Public Prosecutor's Office
- Brasilia, Brazil
- https://faustocarva.github.io/
- in/faustocarva
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Cuda
- Dafny
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Mojo
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- Python
- R
- Rascal
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Stata
- TeX
- TypeScript
- V
- WebAssembly
- Xtend
- Yacc
Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"
Google Gen AI Python SDK provides an interface for developers to integrate Google's generative models into their Python applications. This is an early release. API is subject to change. Please do n…
Scrappy bot army that automates web3 bug hunting workflows.
🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with LlamaIndex, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23
Taming LLMs: A Practical Guide to LLM Pitfalls with Open Source Software
A curated list of awesome Ethereum security references
Ask questions of your data with LLM assistance
Simple, unified interface to multiple Generative AI providers
A binary lifter and analysis framework for Ethereum smart contracts
[EMNLP'23, ACL'24] To speed up LLMs' inference and enhance LLM's perceive of key information, compress the prompt and KV-Cache, which achieves up to 20x compression with minimal performance loss.
A curated list of Large Language Model resources, covering model training, serving, fine-tuning, and building LLM applications.
A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour
A command-line productivity tool powered by AI large language models like GPT-4, will help you accomplish your tasks faster and more efficiently.
A simple screen parsing tool towards pure vision based GUI agent
Code to accompany Refactoring to Rust
IPED Digital Forensic Tool. It is an open source software that can be used to process and analyze digital evidence, often seized at crime scenes by law enforcement or in a corporate investigation b…
A framework for few-shot evaluation of language models.
A continuously updated collection of CodeLLM papers
Prompt, run, edit, and deploy full-stack web applications
An step by step fuzzing tutorial. A GitHub Security Lab initiative