paulraunite Goto Github PK

adv-java-course

University Java Spring course tasks.

ai-course

AI university course task.

android-dev-course

University Android course tasks.

bddapron

Mirror of svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/bddapron

brainfuck.rs

A brainfuck interpreter written in Rust.

camllib

Mirror of svn://scm.gforge.inria.fr/svnroot/bjeannet

ccsl-rs

ccsl-sts

Compilation of Light-CCSL into Synchronized Transition Systems

cps-course

Cyber-Physical systems university course tasks

ds1307-rs

Platform agnostic driver for the DS1307 real-time clock written in Rust using embedded-hal

dsl_lab1

DSL course work: parses regexp to automaton and determinizes it.

dsl_lab2

DSL course work: BNF parser and word evaluator.

fixpoint

fp-course

Functional programming university course tsks

frontendium

Angular university course tasks.

keypad

Platform-agnostic driver for keypad matrix circuits

machine-learning-tasks

mark-lib

Markov chain library.

markov-cli

CLI to some Markov chain properties.

mlv_spec

mrtccsl

network-simulation

Simple event-based network simulation framework and model.

ocaml-esy-vscode-hello

OCaml Hello World Esy VSCode devcontainer template

ocamlyices

Yices SMT solver's binding for the OCaml programming language

oop-patterns-project

Documentation related to university "OOP patterns" project

opti-cli

CLI for transportation problem solver.

opti-transport

Library for transportation problem solving in Go.

parall-distr-systems

Parallel and distributed systems university course tasks.

prog_theory_tasks

py6

Python tasks of 6th university semester.