HALOCORE

HALOCORE's Stars

• AFLplusplus/Grammar-Mutator

  A grammar-based custom mutator for AFL++

  Language:Python20817

• SUSYUSTC/MathTranslate

  translate scientific papers in latex, especially arxiv papers

  Language:Python1k69

• hiyouga/LLaMA-Factory

  Unify Efficient Fine-Tuning of 100+ LLMs

  Language:Python25.1k3.1k

• leiurayer/downkyi

  哔哩下载姬downkyi，哔哩哔哩网站视频下载工具，支持批量下载，支持8K、HDR、杜比视界，提供工具箱（音视频提取、去水印等）。

  Language:C#19.8k2.2k

• apache/incubator-teaclave-trustzone-sdk

  Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.

  Language:Rust20057

• boyland/sasylf

  Educational Proof Assistant for Type Theory

  Language:Java729

• eldon-chung/c-parse-parse

  A Parser Combinator Library in C++

  Language:C++1

• melpon/wandbox

  Social Compilation Service

  Language:TypeScript1.2k100

• rr-debugger/rr

  Record and Replay Framework

  Language:C++8.8k562

• princeton-nlp/SWE-agent

  SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

  Language:Python11.8k1.2k

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++84573

• occlum/occlum

  Occlum is a memory-safe, multi-process library OS for Intel SGX

  Language:Rust1.3k233

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust30.4k1.2k

• shwetasshinde24/BesFS

  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

  Language:Coq16

• sectrs-acai/acai

  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)

  Language:C181

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust18.5k519

• pvolok/mprocs

  Run multiple commands in parallel

  Language:Rust1.4k47

• mustakimur/OS-CFI

  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

  Language:C++3513

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.8k254

• nuprl/MultiPL-E

  A multi-programming language benchmark for evaluating the performance of large language model of code.

  Language:Python16636

• 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.

  Language:C#72728

• eth-sri/lmql

  A language for constraint-guided and efficient LLM programming.

  Language:Python3.5k191

• rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust17.2k1.6k

• h2non/jsonpath-ng

  Finally, a JSONPath implementation for Python that aims to be standard compliant. That's all. Enjoy!

  Language:Python55483

• matthieu-m/static-rc

  Compile-time reference counting

  Language:Rust42512

• wellecks/llmstep

  llmstep: [L]LM proofstep suggestions in Lean 4.

  Language:Python10114

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.2k791

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML14.2k1k

• pydot/pydot

  Python interface to Graphviz's Dot language

  Language:Python889161

• awesomo4000/awesome-provable

  A curated set of links to formal methods involving provable code.

  1888