koo5/AutoNomic-pyco koo5/AutoNomic-pyco

  • Stars
    star
    2
  • Language
    JavaScript
  • License
    GNU Affero Genera...
  • Created over 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
koo5/AutoNomic-pyco
github

koo5

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Project AutoNomic, decentralized platform for formally verifiable applications

More Repositories

1

koordinator2000

crowd-defunding
Svelte
10
star
2

new_shit

lemon operating language
Python
9
star
3

univar

development repository of AutoNomic/tau
C++
6
star
4

hackery2

notes, scripts, utilities, dotfiles, experiments, toys..
HTML
5
star
5

coffeetime

node.js CoffeeScript CLI timetracker
CoffeeScript
4
star
6

rote-3

roteterm 3.0
C
3
star
7

QuadLad

RDF ALL THE THINGS
Svelte
3
star
8

lemon-3

3D windowless desktop experiment with gadgets and terminal emulators. old opengl. i had great fun on this thing and learned C too
Shell
2
star
9

BtrFsGit

B-tree Filesystem Git attempts to enable git-like workflow for BTRFS subvolumes. Commit, push, checkout, stash, pull..
Python
2
star
10

understand_humans

JavaScript
2
star
11

nonstop768

arduino, 768 led matrix
C++
2
star
12

esp-wifi-manager

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.
Svelte
2
star
13

emergency_alert_system

monitor captured images, detect emergencies through openai, notify through mqtt or locally
Python
2
star
14

keynet

_-_
PHP
1
star
15

n3-dev-testcases

n3-dev-testcases
1
star
16

cube27

arduino
Java
1
star
17

koordinator4000

1
star
18

BronzeAge

let's drag computing to the bronze age
Shell
1
star
19

juicy_nars_stuff

lemon-java and non-nars stuff
Python
1
star
20

unixy_time_tracker

inspired by upwork's time tracker app. python. postgresql. cron. mplayer. xprintidle
Python
1
star
21

cube3-3-3

blinkenlichten
Arduino
1
star
22

cytron

some old lemon stuff, also arduino, apparently
Python
1
star
23

tot

Tree of Thoughts
1
star
24

lemon-5

Python
1
star
25

internetmarks

manage your internet bookmarks in Inform7
Python
1
star
26

handbyte

handbite
1
star
27

sitegen

generate websites in Inform7
Python
1
star
28

lemonized-pixel-city

pixel city, ifdefed to work in lemon
C++
1
star
29

destroy_all_capitalist_e-ink

pocketbook kindle vnc scrot screenshotter bash php
Shell
1
star
30

hike

a prototype of an UI framework capable of eyes-free interaction on a semantic level
JavaScript
1
star
31

cube64

LEDs
Java
1
star
32

manaplus

â‘‚ git://gitorious.org/manaplus/manaplus.git
C++
1
star
33

melon

a guestbook webapp with core in inform7, wrapped in python running on google apps
Python
1
star
34

keymata

a sketch + ncurses script to toggle arduino pins 2-13 with qwfpgjluy;[] (on) and arstdhneio'\ (off).
Python
1
star
35

java-quote-generator

random quote displayer applet with a nasty case of programmer art
Java
1
star
36

determinancy_checker

Prolog
1
star
37

yorave

http://code.google.com/p/marave/ bugfix
Python
1
star
38

ld-lib-interop

N3.js <-> jsonld.js
JavaScript
1
star