gavrilovmiroslav Goto Github PK

adam

Driver generator for JPF/SPF projects

alloy

Signed distance field software renderer tool with basic constructive solid geometry script editing

bazel-gtest

cs162-tutorials

Tutorials for Fall 2018

dagger

A fully-featured, modern game engine made for educational purposes.

dagger-2023

Dagger engine (v2023)

dagger-relic

New official Dagger (Relic edition)

desir

Cosymbolic execution engine and invariant inferencer

gilrs

Game Input Library for Rust - Mirror of https://gitlab.com/gilrs-project/gilrs

graph-dracula

Brings graph rewriting back from the dead

imgui

Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies

interview-prep

Lots of cool problems for interviews

jiim

Java Invariant Inferencing Machine

linmath.h

a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions

love-letter

Scala small-step semantics for love letter (the game)

lwjgl3-tutorial

Tutorial for the Lightweight Java Game Library (LWJGL) 3

mae

Major Area Exam preparation and presentation

magnagothica

matryoshka

Generalized recursion schemes and traversals for Scala.

pcg-examples

pie

🥧 An implementation of a simple, extensible language

poirogue

procgen-burp

scarog

sirius

the-cool-box

A virtual machine with the coolest unixp0rn.

theory

three.js

JavaScript 3D library.

ubuntu-setup

My configuration of Ubuntu, for quick (re)use

yabar

A modern and lightweight status bar for X window managers.