Pinned Repositories
2023_VelasquezXferLearning_safety-gym
Tools for accelerating safe exploration research.
AlloyAnalyzer
An unofficial copy of MIT's Alloy Analyzer model checking tool.
beckus.github.io
abeckus website
Clipboard-Perl
A copy of the Perl Clipboard module (http://search.cpan.org/~king/Clipboard-0.13/) with some tweaks
IEEEtranplus
A verbose LaTeX Bibliography Style (bst) with local file links for collecting and organizing references
qemu_stm32
QEMU with an STM32 microcontroller implementation
stm32_p103_demos
A suite of demo applications for the Olimex STM32 P103 Development Kit
TestXferRate
A Java application which reads from or writes to a file and reports the average read/write rate
WebShortcutSamples
A collection of internet/web shortcut files for various operating systems
WebShortcutUtil
Web Shortcut Utility Suite
beckus's Repositories
beckus/qemu_stm32
QEMU with an STM32 microcontroller implementation
beckus/stm32_p103_demos
A suite of demo applications for the Olimex STM32 P103 Development Kit
beckus/AlloyAnalyzer
An unofficial copy of MIT's Alloy Analyzer model checking tool.
beckus/WebShortcutSamples
A collection of internet/web shortcut files for various operating systems
beckus/IEEEtranplus
A verbose LaTeX Bibliography Style (bst) with local file links for collecting and organizing references
beckus/TestXferRate
A Java application which reads from or writes to a file and reports the average read/write rate
beckus/WebShortcutUtil
Web Shortcut Utility Suite
beckus/2023_VelasquezXferLearning_safety-gym
Tools for accelerating safe exploration research.
beckus/beckus.github.io
abeckus website
beckus/Clipboard-Perl
A copy of the Perl Clipboard module (http://search.cpan.org/~king/Clipboard-0.13/) with some tweaks
beckus/matlab_plothelper
beckus/WebShortcutUtil-Perl
Web Shortcut Utilities for Perl
beckus/soodadityab_TSP_Hybrid_GNN_Transformer
Using GNN embeddings with Transformer encoder/decoder architecture to efficiently solve traveling salesman problem (TSP)