jhejderup

jhejderup's Stars

• japaric/cargo-call-stack

  Whole program static stack analysis

  Language:Rust58652

• fitzgen/dodrio

  A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

  Language:Rust1.2k49

• shrinkwrap/resolver

  ShrinkWrap Resolvers

  Language:Java15181

• Woutrrr/lapp

  Language:Java21

• Inventitech/strans

  Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

  Language:Roff54717

• rust-lang/rust-repos

  Dataset of Rust source code repositories

  Language:Rust9932

• crev-dev/cargo-crev

  A cryptographically verifiable code review system for the cargo (Rust) package manager.

  Language:Rust2.1k91

• oss-review-toolkit/ort

  A suite of tools to automate software compliance checks.

  Language:Kotlin1.6k314

• hobofan/margo

  Modular reimplementation of Cargo (Rust package manager)

  Language:Rust8

• dhovart/cargo-local-registry

  A cargo subcommand to manage local registries

  Language:Rust15118

• onur/cargo-license

  Cargo subcommand to see license of dependencies

  Language:Rust43037

• rust-lang/rust-analyzer

  A Rust compiler front-end for IDEs

  Language:Rust14.5k1.6k

• praezi/rust

  RustPräzi: Representing crates.io as a call-based dependency network

  Language:Rust787

• Inventitech/roaming

  1

• Inventitech/phd-thesis-template

  A LaTeX template for creating beautiful PhD theses, originally created by TU Delft.

  Language:TeX10157

• lukaslueg/railroad

  A library to produce syntax diagrams as Scalable Vector Graphics

  Language:Rust1446

• rust-lang/rust-semverver

  Automatic checking for semantic versioning in library crates

  Language:Rust63741

• andygrove/datafusion-archive

  DataFusion has now been donated to the Apache Arrow project

  Language:Rust63055

• rust-community/team

  the Rust Community Team 🦀⚙️✨

  568

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++951142

• dspinellis/git-issue

  Git-based decentralized issue management

  Language:Shell78466

• ksluckow/awesome-symbolic-execution

  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

  1.3k139

• sammacbeth/dat-fox

  dat:// protocol as a Firefox webextension

  Language:JavaScript25012

• Inventitech/url-eternalizer

  Scans a TeX document for occurrences of links and makes them available forever via the web archive

  Language:Ruby92

• mmstick/concurr

  Performs distributed command execution, written in Rust w/ Tokio

  Language:Rust1097

• rochacbruno/py2rs

  A quick reference guide for the Pythonista in the process of becoming a Rustacean

  Language:CSS2.1k76

• koute/stdweb

  A standard library for the client-side Web

  Language:Rust3.4k177

• stevedonovan/gentle-intro

  A gentle Rust tutorial

  Language:Rust836111

• dspinellis/unix-v4man

  Typeset the Fourth Research Edition Unix Programmer's Manual

  Language:Roff13713

• rust-lang/crater

  Run experiments across parts of the Rust ecosystem!

  Language:Rust64891