Dynamic detection of likely invariants
-
Updated
May 20, 2024 - C
C is a programming language designed by Dennis Ritchie at Bell Labs. C is very widely used, straightforward, and can be compiled to a number of platforms and operating systems. C is an imperative language, with a small number of keywords and a large number of mathematical operators. C is also a very low level programming language, which means it can communicate directly with hardware.
Dynamic detection of likely invariants
백준 알고리즘 문제 풀이 기록
an interpreted programming language im working on (change this later)
🔥 A cross-platform build utility based on Lua
An incremental parsing system for programming tools
A simple template for building a portable, Limine-compliant kernel in C.
A simple template for building a Limine-compliant kernel in C.
An experimental operating system for 32bit Amiga computers.
In this repository I leave all the materials, exercise lists and learnings from the computer science faculty
Library for the analysis of networks
A dynamic language and bytecode vm
WIP decompilation of Sonic Advance 2 - a GameBoy Advance game written in C
Created by Dennis Ritchie
Released 1972