theolecalvar Goto Github PK

batterychecker

Small background program that indicate when the battery is fully charged

bignaturals

Small and certainly inneficient way to do calculations on arbitrary big integer in C++

castle

coqtl

CoqTL allows to develop model transformation engines, write model transformations, and prove engine/transformation correctness in Coq

demo-atlc

gentleman

Gentleman is a web-based projectional editor generator. It allows you to express and interact with your DSL.

geodes-sms.github.io

gohugo-theme-ananke

Ananke: A theme for Hugo Sites

j-t-core

J-T-Core is a java framework for building your own domain-specific model transformation languages

kaku

Collaborative drawing application over the network

log2dot

Basic Prolog to Dot converter (reduced Prolog)

mastodon.py

Python wrapper for the Mastodon ( https://github.com/tootsuite/mastodon/ ) API.

minegl

School project for an OpenGL lesson

n-queens

N-Queens solver, 3 main methods, backtrack, forward checking and local search, 100,000,000 queens under the minute

node-fluent-ffmpeg

A fluent API to FFMPEG (http://www.ffmpeg.org)

open-web-calendar

Embed a highly customizable web calendar into your website using ICal source links

peertube

ActivityPub-federated video streaming platform using P2P directly in your web browser

peertube-plugin-hardware-transcode-vaapi

PeerTube VAAPI plugin

planify

Creation of a timetable

podcast2youtube

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

quacode_dbh

Callback to make QuaCode and another methode cooperate

scheduling-example

tectonicus

Tectonicus is a high detail Minecraft world mapper focused on creating zoomable maps that look very close to what you see in Minecraft.

transmission-exporter

Prometheus exporter for Transmission metrics, written in Go.

ttc2018livecontest

The repository for the TTC 2018 Live Contest

ttc2019-live

Live contest for TTC2019: BibtexXML to Docbook consistency

twitrssme

TwitRSS.me: Tool to make Twittter timelines and searches into RSS feeds

viatra-cps-benchmark

vscode-coq-devcontainer