Skip to content

Instantly share code, notes, and snippets.

View corecode's full-sized avatar

Simon Schubert corecode

101 followers · 9 following
View GitHub Profile
@corecode
corecode / main.rs
Created January 18, 2023 03:10
machine Protocol for ProtocolData {
<*> => wait_for_leader / set_randomized_timeout;
wait_for_leader + Timeout => leader;
machine leader {
entry / set_timer, transmit_data;
exit / cancel_timer;
self + Timeout / transmit_data;
self + p: TransmitData / packet = p;
}
@corecode
corecode / main.dart
Created September 30, 2022 03:50
import 'dart:math';
import 'package:flutter/material.dart';
void main() {
runApp(const MyApp());
}
class MyApp extends StatelessWidget {
const MyApp({super.key});
@corecode
corecode / usb-notes.md
Created September 16, 2021 20:49 
{
    dsts = 0x600,
    gintsts = 0x400943c,
    grxstsr = 0xc0080 # EP0 SETUP received, 8 bytes
}
{
    dsts = 0x600,
    gintsts = 0x4009434,
    grxstsr = 0x60000 # EP 0 OUT transfer completed
@corecode
corecode / volatile.s
Created July 6, 2021 03:14
_build/nrf52840_xxaa/main.c.o: file format elf32-littlearm
Disassembly of section .text.sd_ble_gap_adv_set_configure:
00000000 <sd_ble_gap_adv_set_configure>:
0: df72 svc 114 ; 0x72
2: 4770 bx lr
@corecode
corecode / normal.s
Created July 6, 2021 03:14
_build/nrf52840_xxaa/main.c.o: file format elf32-littlearm
Disassembly of section .text.sd_ble_gap_adv_set_configure:
00000000 <sd_ble_gap_adv_set_configure>:
0: df72 svc 114 ; 0x72
2: 4770 bx lr
@corecode
corecode / gist:ffc6635caafa581a368f08b372400b83
Created May 21, 2020 08:49
diff --git a/.SRCINFO b/.SRCINFO
index 8b08ee2..3650db6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = spark2014-git
pkgdesc = formally defined programming language based on ada (gnat fsf)
- pkgver = 0.3.draft.r17853.g7a0a54649
+ pkgver = 0.3.draft.r19318.g3559419bef
pkgrel = 1
@corecode
corecode / gist:9b11e1574dde8965267f8a7028365c42
Created May 20, 2020 21:17
diff --git a/PKGBUILD b/PKGBUILD
index 455222f..b7f89c3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
pkgname=gnatcoll-xref
-pkgver=2019
-pkgrel=2
@corecode
corecode / gist:d03ac7ea3a1bb191c0d07bfe936e2967
Created May 20, 2020 21:08
diff --git a/PKGBUILD b/PKGBUILD
index b7e57b3..d7f9f79 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
pkgname=gnatcoll-sqlite
-pkgver=2019
-pkgrel=2
@corecode
corecode / gist:83f9ac01defbe86c5ab9e509897a77b4
Created May 20, 2020 21:05
diff --git a/PKGBUILD b/PKGBUILD
index 1a916d2..ed8dfff 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
pkgname=gnatcoll-sql
-pkgver=2019
-pkgrel=2
@corecode
corecode / gist:a84a2103242735fb2105287a42942ccf
Created May 20, 2020 20:55
diff --git a/PKGBUILD b/PKGBUILD
index e030077..6336068 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
pkgname=gnatcoll-iconv
-pkgver=2019
-pkgrel=2