golf-lang/golf

Golf is a programming language, framework and application server for high-performance web services and web applications, with focus on simplicity and memory safety..

Language: C - Size: 3.88 MB - Last synced at: about 5 hours ago - Pushed at: about 5 hours ago - Stars: 44 - Forks: 4

rsashka/memsafe

C++ Memory safety (memsafe) single-header libraries and Clang compiler plugin for safe C++, which reduces errors for reference data types and safe memory management without breaking backward compatibility with old C++ code.

Language: C++ - Size: 230 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 262 - Forks: 10

google/zerocopy

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

Language: Rust - Size: 5.61 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,914 - Forks: 112

immunant/c2rust

Migrate C code to Rust

Language: Rust - Size: 78 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,221 - Forks: 263

thomasleplus/java-memory-safety

A study of the limits of Java's memory safety.

Language: Java - Size: 173 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

riscv/riscv-cheri

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

Language: TeX - Size: 35.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 68 - Forks: 35

briansmith/untrusted

Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.

Language: Rust - Size: 102 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 202 - Forks: 24

google/wuffs

Wrangling Untrusted File Formats Safely

Language: C - Size: 36 MB - Last synced at: 4 days ago - Pushed at: 24 days ago - Stars: 4,501 - Forks: 139

Rin-Z4/cwl

C wrapper lang

Language: C - Size: 4.88 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

mTvare6/hello-world.rs

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

Language: RenderScript - Size: 673 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 3,440 - Forks: 5

rept0id/monty-hall-problem

Language: C - Size: 362 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

MilesCranmer/BorrowChecker.jl

A borrow checker for Julia

Language: Julia - Size: 859 KB - Last synced at: about 3 hours ago - Pushed at: 20 days ago - Stars: 110 - Forks: 0

checkedc/checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

Language: C++ - Size: 1.31 GB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 505 - Forks: 79

occultlang/occult

An enigmatic JIT programming language...

Language: C++ - Size: 5.09 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 30 - Forks: 2

r3-os/r3

R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics

Language: Rust - Size: 7.64 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 165 - Forks: 8

stuuupidcat/RPL

A pattern language for Rust.

Language: Rust - Size: 4.45 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 12 - Forks: 4

coding-pelican/dasae-headers

dasae-headers: A modern extension language for safer and more productive C programming

Language: C - Size: 23.3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 11 - Forks: 1

WilliamKarolDiCioccio/astrophel

Astrophel is a learning project aimed at building a simple yet structured programming language

Language: Dart - Size: 85 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

deep-neural/nova-lang

High-level Programming Language For AI

Language: Go - Size: 1.91 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

danakj/danakj.github.io

Thoughts about C++, Memory Safety, Library Design, Memory Safety, Sharp Edges

Language: HTML - Size: 1.04 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

staticafi/sbt-instrumentation

Configurable instrumentation of LLVM bitcode

Language: C++ - Size: 1.07 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 34 - Forks: 11

Peggun/nullex

A kernel written fully in Rust.

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

mesalock-linux/mesalock-distro

MesaLock Linux: a memory-safe Linux distribution.

Language: Shell - Size: 166 KB - Last synced at: 24 days ago - Pushed at: over 6 years ago - Stars: 371 - Forks: 33

mesalock-linux/mesapy

A Fast and Safe Python based on PyPy

Language: Python - Size: 31.5 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 371 - Forks: 27

josh-tracey/exprimo

Exprimo is a JavaScript expression evaluator written in Rust.

Language: Rust - Size: 56.6 KB - Last synced at: 16 days ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1

GJDuck/EffectiveSan

Runtime type and bounds-error checking for C/C++

Language: C++ - Size: 51.8 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 101 - Forks: 20

tniessen/constexpr-secded

Header-only implementation of SECDED encoding as C/C++ constant expressions

Language: C++ - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

MihaelBercic/rust-matter

This repository contains a pure Rust-based project focused on implementing the Matter protocol (formerly CHIP) for seamless smart home connectivity. Designed specifically for embedded devices, it leverages Rust’s memory safety and performance to ensure secure, efficient communication across IoT. Development started on 03. 03. 2024.

Language: Rust - Size: 1020 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0

tanvir1017/Rust

A exploration about Rust from Rust book.

Language: Rust - Size: 10.4 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

jiezhoucs/must-read

Lists of must-read papers (mainly security papers)

Size: 338 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 25 - Forks: 0

yvt/tokenlock

Provides cell types that decouple permissions from data.

Language: Rust - Size: 88.9 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 1

tripulse/rust-shit

Proof of the terrible consequences of amateur library design prevalent in the Rust community.

Language: Rust - Size: 6.84 KB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

VoidLang/void

An open-source general-purpose programming language using the LLVM project.

Language: Java - Size: 604 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 22 - Forks: 1

Dentrax/obscure-go

In-memory security with secure data types

Language: Go - Size: 20.5 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 3

GJDuck/BlueFat

Fully Randomized Pointers

Language: C - Size: 61.5 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 0

Lexxn0x3/sw_sec_presentation

🔐 Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.

Language: Rust - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

t4p-community/20240510_memory-safe-apps-with-rust

Rust's Safety Net: Crafting Memory-Safe Applications

Language: Rust - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 2

agra-uni-bremen/hardbound-vp

Virtual Prototype with symbolic execution support and HardBound path analyzer

Language: C++ - Size: 31.3 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

devraza/vaporise

A simple, featureful and blazingly fast memory-safe alternative to `rm` written in Rust. [Mirror]

Language: Rust - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

AyushShrivstava/IITGN_CS431

CS431 - Computer Network and Security.

Language: Jupyter Notebook - Size: 1.4 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

shilangyu/formal-lang

A formal definition of a language accompanied by proofs of its properties.

Language: TeX - Size: 70.6 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

AishwaryaSubash/learn-rust

Diving into Rust: My initial steps in learning a new language

Language: Rust - Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

catseye/Eightebed

MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe

Language: Python - Size: 34.2 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 2

little-dude/rust-talk

Internal presentation about Rust, focused on memory safety and concurrency

Language: TeX - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

abinashphulkonwar/redis

Redis-like in-memory database implementation in Golang

Language: Go - Size: 133 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

hpenne/owned_ptr

A safer C++ smart pointer with the semantics of unique_ptr and with the memory safety and rule-of-zero benefits of shared_ptr

Language: C++ - Size: 47.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

agra-uni-bremen/hardbound-llvm

LLVM 11 compiler pass for HardBound instrumentation

Language: C++ - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

GJDuck/LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers

Language: C++ - Size: 51.8 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 170 - Forks: 30

r3-os/r3_port_rx

Renesas RX port for R3-OS (WIP)

Language: Rust - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

GJDuck/RedFat

A binary hardening system

Language: C++ - Size: 134 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 86 - Forks: 10

GJDuck/libredfat

A hardened malloc() replacement

Language: C - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

calcium-lang/spec

A C-like type-, memory- and thread-safe systems programming language with zero-cost object-orientation

Language: Python - Size: 170 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

Dark-CodeX/sstring

SSTRING: The String Manipulation Library

Language: C++ - Size: 1.83 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

wllqwzx/LinearLang

LinearLang is a programming language based on linear type system that ensures memory safety.

Language: OCaml - Size: 53.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

andrew-wja/instrumentor

instrumentor is a tool for instrumenting LLVM IR to detect problems at runtime. The initial focus is on memory safety issues such as leaks, use-after-free, stack smashing, and out-of-bounds access.

Language: Makefile - Size: 697 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 3

arielroque/memory-safety

Testing memory safety in some languages

Language: C++ - Size: 85 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

RobbeDGreef/SafeCC

C Compiler that strives to be as (memory) safe as possible.

Language: C++ - Size: 208 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

Herringway/pxtone

D port of PIXEL's pxtone music engine

Language: D - Size: 406 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

Herringway/piyopiyo

D port of PIXEL's piyopiyo music engine

Language: D - Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Herringway/organya

D port of PIXEL's organya music engine

Language: D - Size: 54.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jlauinger/master-of-science

Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code

Language: TeX - Size: 30.3 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

LedgerProject/safepkt

Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.

Language: Shell - Size: 1.3 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

utzn/sorted-tree-c

A project to showcase my experience in secure C programming.

Language: C - Size: 265 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

aeckar/libcollect

Garbage collection library for C/C++

Language: C - Size: 27.3 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

vmchale/lz-ats

lzlib bindings for ATS

Language: ATS - Size: 564 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

huangjiahua/neatlib

Some C++ utility library, especially on hash tables.

Language: C++ - Size: 95.7 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0

Laeeth/dlang-safer-linux-kernel-dpp

D for a safer linux kernel using dpp

Language: Shell - Size: 1000 Bytes - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0