An open API service providing repository metadata for many open source software ecosystems.

GitHub / phreppo 1 Repository

Making programs more secure (WIP)

phreppo/cargo-certora-sbf Fork of Certora/cargo-certora-sbf

Certora cargo command for building and analyzing SBF (Solana) code

Size: 186 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

phreppo/cvlr Fork of Certora/cvlr

CVLR: Certora Verification Language for Rust

Language: Rust - Size: 48.8 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

phreppo/cvlr-soroban Fork of Certora/cvlr-soroban

CVLR for Soroban smart contracts

Language: Rust - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

phreppo/cvlr-solana Fork of Certora/cvlr-solana

CVLR library for Solana

Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

phreppo/phreppo.github.io

Language: CSS - Size: 14.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

phreppo/pilisp

Lisp interpreter with bytecode compiler

Language: C - Size: 7.86 MB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 0

phreppo/rat

🐀 Regular Expression Denial of Service analyzer.

Language: OCaml - Size: 136 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 2

phreppo/manifest Fork of CKS-Systems/manifest

The Unlimited Orderbook

Language: Rust - Size: 4.53 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

phreppo/wstat

While language static analyzer

Language: Haskell - Size: 756 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 0

phreppo/ProgettoTecWeb

Progetto di un corso di tecnologie web all'universitĂ .

Language: PHP - Size: 1.46 MB - Last synced at: 10 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

phreppo/master-thesis

Master thesis

Language: TeX - Size: 3.01 MB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

phreppo/ziglings Fork of ratfactor/ziglings

Learn the Zig programming language by fixing tiny broken programs.

Language: Zig - Size: 502 KB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

phreppo/rustlings Fork of rust-lang/rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language: Rust - Size: 1.12 MB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

phreppo/ct

⚡ The fastest line counter. At least on my computer.

Language: Zig - Size: 726 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 15 - Forks: 0

phreppo/leesp

Lisp interpreter with implicit Garbage Collector

Language: Rust - Size: 79.1 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

phreppo/glossario-swe

Glossario di Ingegneria del Software

Size: 2.21 MB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

phreppo/core

Core language parser

Language: Haskell - Size: 32.2 KB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

phreppo/hile

Interpreter for the While language

Language: Haskell - Size: 132 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

phreppo/ChessTournament

Chess tournament GUI manager

Language: C++ - Size: 219 KB - Last synced at: 10 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

phreppo/CppMakeMaker

Makefile generator for C++ small projects

Language: C++ - Size: 18.6 KB - Last synced at: 10 months ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1

phreppo/mariana-trench Fork of facebook/mariana-trench

A security focused static analysis tool for Android and Java applications.

Language: C++ - Size: 11.1 MB - Last synced at: 10 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

phreppo/markdown Fork of Python-Markdown/markdown

A Python implementation of John Gruber’s Markdown with Extension support.

Size: 3.18 MB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

phreppo/Banesso

VSC dark theme, canesso-based.

Size: 43.9 KB - Last synced at: 10 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

phreppo/latex_snippets Fork of Einlar/latex_snippets

Easy snippets to write faster LaTeX (in Visual Studio Code)

Size: 5.86 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

phreppo/implementations Fork of REMath/implementations

Implementations of program analysis tools with a focus on machine code

Size: 117 MB - Last synced at: 10 months ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

phreppo/4bs-club

Official repository for the Boring Bookish British Banter Book Club™

Language: Python - Size: 5.86 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

phreppo/base16-zathura Fork of HaoZeke/base16-zathura

base16 colors for zathura

Size: 133 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

phreppo/awesome-ocaml Fork of ocaml-community/awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Size: 8.84 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

phreppo/FORKLIFT Fork of Mazzocchi/FORKLIFT

The program FORKLIFT is an inclusion checker for BĂźchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

Language: Java - Size: 696 KB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

phreppo/buchi-automata-benchmark

A collection of BĂźchi automata for language inclusion benchmarking

Language: Rich Text Format - Size: 50.5 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

phreppo/bait

A ω-regular language inclusion checker

Language: Java - Size: 227 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

phreppo/parallellisp

Lisp, but functional and parallel

Language: Go - Size: 435 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

phreppo/protocol-validation

Language: TeX - Size: 222 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0