gabriel-fallen Goto Github PK

attrition

Learning from **synthetic** data and suggesting leave/stay decision. Don't believe its lies!

bidirectional-demo

A demo implementation of a simple bidirectional type-checker in Lean 4.

cats

Performance tests for different computer languges and computation systems.

codingground

Main Repository for Coding Ground

compiler-development

#Compiler Development channel

cpp-d-ary-heap

d-ary heap exercise as C++ class template.

ecollectd

Toy implementation of a metrics collecting service.

eopl3-exercises

Solutions to some exerceses from the "Essentials of Programming Languages" book.

fav-ssr

Functional Algorithms Verified in SSReflect

fundamentals-chart

SPA showing chart of fundamental ratios for given public companies.

futracer

Race through breathtaking 3-D graphics with Futhark! :snail:

gcj2013-quals

My code for Google Code Jam 2013 Qualification

gencv

Generate a set of CVs from data files

guides

Guides (of sorts) on various topics (for future reference)

gulp-project-demo

Simple jQuery UI project showcasing Gulp build.

haskell-learning

Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.

homegrownvm

A toy implementation of a stack VM and a compiler in Rust.

hw2-app-sample

Sample application with hard-coded dependencies and poor unit-tests.

hw3-app-sample

Sample Spring application for home work #3.

instaphoto

Spring MVC + Spring Boot + Hibernate JPA "poor man's Instagramm" example

jbook

Notes about programming, advices, algorithms and a lot of good stuff with Java

jme3-example1

Simple jMonkeyEngine example with only built-in shapes and some physics.

jme3-example2

Simple jMonkeyEngine demo featuring scene and animated model loading, shadows and AI.

jme3-example3

Simple jMonkeyEngine demo featuring heightmap based terain with LOD, fire and smoke effects and two approaches to water effect..

jolie

Verified type checker for Jolie (http://jolie-lang.org)

jolie-typechecker

A typechecker for the Jolie language (to be) proven in Isabelle.

krivine-extended

An implementation of extended Krivine machine.

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

letter

lost-stats.github.io

Source code for the Library of Statistical Techniques