Pedro Sinogas's repositories
3D-on-a-ZX-Spectrum-48K
Porting my 3D points renderer on a ZX Spectrum 48K
CodeDojos
Code dojos
cortex-v2-example
Example code for Cortex V2
freqtrade
Free, open source crypto trading bot
FStar
Verification system for effectful programs
gekko
A bitcoin trading bot written in node - https://gekko.wizb.it/
hummingbot
Hummingbot: a client for crypto market making
hybrid_simulation
Matlab code for simulation of performance for hybrid rocket engines.
kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
muzero-general
MuZero
naive-bayesians
Repo for the Naive Bayesian Meetup Group
NonEuclidean
A Non-Euclidean Rendering Engine for 3D scenes.
onionshare
Securely and anonymously send and receive files, and publish onion sites
OpenBCI_GUI
A cross platform application for the OpenBCI Cyton and Ganglion. Tested on Mac, Windows and Ubuntu/Mint Linux.
QuantumOptics.jl
Library for the numerical simulation of closed as well as open quantum systems.
react-native-search-with-image
Mobile(React Native) application of the product search engine(Profind).
SecurityEssentials
Raise your baseline in security by using this as your template instead of default Mvc project. Keep your app secure by continuously applying Security rules
vsfstar
🦅 VSCode extension for F* with IDE features
website-new
This is a Next.js starter for building a fullstack app with AWS Amplify.