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