sim642 Goto Github PK

aa2016-lab2

aa2016-lab3

adventofcode

Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in Scala

aiarce

A thing that somehow tries to manipulate with the complete abomination of ncurses

airtraffic

Single- and multiplayer game about being an air traffic controller

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

algosmt

SMT solver project for Advanced Algorithmics course at University of Tartu

aoc-ranking

Visualize the ranking over time of an Advent of Code private leaderboard.

apron

Apron Numerical Abstract Domain Library

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

badgen.net

Fast badge service

batteries-included

Batteries Included project

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

betterlapse

Timelapse stitcher with extra features

bitwise-template

blah

IRC bot which imitates omegle functionality in an IRC network.

blog-giscus

bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

british-php

An interpreter for the British dialect of PHP

bsc-thesis

Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)

buffer_open

WeeChat script to open buffers by full name, reopen recently closed buffers, open layout buffers

calculate

Expression evaluator using shunting-yard algorithm and RPN.

camlidl

Stub code generator for OCaml/C interface

cil

C Intermediate Language

codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

cryptex

Robotex 2015/2016 jalgpallirobot

deagle

debug-adapter-protocol

Defines a common protocol for debug adapters.

dexie.js

A Minimalistic Wrapper for IndexedDB

duet

Duet: static analysis for unbounded concurrency