-
-
-
coffeestains Public
Unofficial GitHub mirror for https://framagit.org/Pathe/coffeestains
-
-
-
-
-
-
-
-
jpf-core Public
Forked from javapathfinder/jpf-coreJPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
Java UpdatedSep 3, 2022 -
-
-
zig-libgc Public
Forked from mitchellh/zig-libgcZig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector
Zig MIT License UpdatedJan 6, 2022 -
-
bachelor_thesis Public
Forked from AndreyAkinshin/Russian-Phd-LaTeX-Dissertation-TemplateText of my bachelor thesis
-
evply Public
Forked from hackathonbrn/evplyFP learning platform and graphical LISP interpreter
Haxe UpdatedJul 11, 2021 -
herbe Public
Forked from dudik/herbeDaemon-less notifications without D-Bus. Minimal and lightweight.
C MIT License UpdatedJun 21, 2021 -
ageispolis Public
Simple node-based sound effect compositor
-
-
-
daria Public
Toy programming language based on pattern matching
-
-
raylib Public
Forked from raysan5/raylibA simple and easy-to-use library to enjoy videogames programming
C zlib License UpdatedDec 25, 2020 -
-
-
tinyviz Public archive
Graph visualization tool for algorithms studying
-
last-resort Public archive
Here is how to lose friends and alienate people 😈
Go UpdatedFeb 27, 2020 -
dvach Public archive
dvach is a simple client cli tool for the 2ch.hk imageboard.
-
klox Public archive
My step-by-step implementation of Bob Nystrom's Lox Language from "Crafting Interpreters" book
Kotlin UpdatedSep 11, 2019