Beast code in Giters

koo5's repositories

univar

development repository of AutoNomic/tau

Language:C++NOASSERTION6 5 1

AutoNomic-pyco

Project AutoNomic, decentralized platform for formally verifiable applications

Language:JavaScriptAGPL-3.02 3 10

Browser frontend for an ESP32/Arduino sketch that scans for available wifi APs and lets you connect to one. Purely websocket, and a self-contained SPA, so will work straight from the demo site, just open it in your browser, connect your computer to the AP, and enter the IP.

Language:Svelte2 1 1

understand_humans

Language:JavaScriptAGPL-3.02 20

hike

a prototype of an UI framework capable of eyes-free interaction on a semantic level

Language:JavaScript1 10

accounts-assessor-public-wiki

media

010

agentspeak-l-swi-prolog-meta-interpreter

Extracted code from plus modifications to "A Prolog Meta-Interpreter for AgentSpeak(L)" by Dimitrios Dimitriadis

000

alertmanager_api_js

Autogenerated JavaScript client wrapper for alertmanager_api. Used to populate alertmanager with alerts.

Language:JavaScript010

docs

The open-source repo for docs.github.com

Language:JavaScriptCC-BY-4.0000

koo5.github.io

Language:HTML02 2

lemon-2

terminal emulator-based desktop environment

Language:C030

lemon-operating-language

old lemon with pyglet

Language:Python030

memory_profiler

Monitor Memory usage of Python code

Language:PythonNOASSERTION000

mooltipath

mooltipath pipe

Language:JavaScript000

notes2

https://foambubble.github.io/foam/#how-do-i-use-foam

Language:HTML010

ontolog-summit-2022-presentation

Ontolog Summit 2022 Presentation

GPL-3.0000

packages-xpce

The graphics toolkit for SWI-Prolog

000

project3

Language:Shell010

recordmydesktop

Official repository for recordMyDesktop. Migrated from https://sourceforge.net/projects/recordmydesktop/ for which I am the official and long-time maintainer.

000