University of Edinburgh Programming Club
β58Sep 30, 2020Updated 5 years ago
Alternatives and similar repositories for uoe_programmingclub
Users that are interested in uoe_programmingclub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Welcome to Better Informatics. The student run website for students in the School of Informatics.β75May 30, 2026Updated 2 months ago
- π "Synthesizing Benchmarks for Predictive Modeling" (π₯ CGO'17 Best Paper)β22Feb 10, 2023Updated 3 years ago
- Machine Learning Practical course repositoryβ13Feb 15, 2020Updated 6 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantiβ¦β31Apr 30, 2024Updated 2 years ago
- llvm2KITTeLβ20Feb 16, 2017Updated 9 years ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Automatic regression verification for LLVM programsβ21Jul 16, 2021Updated 5 years ago
- Pytorch implementation of Centered Kernel Alignment(CKA) and its minibatch version.β11May 11, 2022Updated 4 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuffβ14Dec 10, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Leanβ14Aug 14, 2023Updated 2 years ago
- ViBE: a hierarchical BERT model to identify viruses using metagenome sequencing dataβ11Sep 6, 2022Updated 3 years ago
- AE-solver and Skolemizerβ18Jul 12, 2026Updated last month
- Code for implementing the "stable memory with unstable synapses" RNN simulationsβ15May 2, 2019Updated 7 years ago
- Welcome to Neurotech@Berkeley's Software Division! This repository serves as an introduction to using the Muse headset to analyze EEG datβ¦β13Nov 21, 2022Updated 3 years ago
- A set of cog recipes for C++ reflectionβ15Aug 21, 2011Updated 14 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SendToXray - Burp Suite Extender, Send HTTP request to XRAY proxy.β11May 22, 2021Updated 5 years ago
- Map2Check: Finding Software Vulnerabilitiesβ29Jul 19, 2026Updated 3 weeks ago
- Artifact for 'Register Optimizations for Stencils on GPUs'β10Sep 18, 2018Updated 7 years ago
- Julia package for performing Bloch simulations within the context of Magnetic Resonance Imagingβ13May 21, 2026Updated 2 months ago
- OxCaml playground (for use with Codespaces)β19Jul 25, 2025Updated last year
- Seamless integration between Darkman and Emacs using the D-Bus protocol.β14Nov 12, 2024Updated last year
- π¬ https://asoul.video/ η½η«εεη«―ζΊη β15Feb 25, 2023Updated 3 years ago
- RPerf: Accurate Latency Measurement Framework for RDMAβ15Apr 14, 2026Updated 3 months ago
- β18Jul 20, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A LogGOPS (LogP, LogGP, LogGPS) Simulator and Simulation Frameworkβ16Aug 20, 2024Updated last year
- super-Django-CC is a simle web interface for commoncrawl.orgβ14Dec 8, 2022Updated 3 years ago
- Crellvm: Verified Credible Compilation for LLVMβ18Jun 26, 2018Updated 8 years ago
- IAML Labs student repositoryβ17Sep 15, 2020Updated 5 years ago
- β16Mar 23, 2023Updated 3 years ago
- Plugin to clang's static analyzer with PHP specific testsβ12Jan 27, 2015Updated 11 years ago
- Responsive web templates developed by Head London for the University of Cambridgeβ15Nov 5, 2021Updated 4 years ago
- A cyclic theorem prover framework.β34Updated this week
- Helpful CMake modules - 3.0+β12May 16, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of unregularized, l1 regularized and l2 regularized linear regression using numpy and without sklearnβ11Oct 4, 2019Updated 6 years ago
- A formally-verified web frontend framework in Lean 4β19Jun 15, 2026Updated last month
- Emotional Chatbot using Reinforcement Learningβ14May 27, 2021Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSAβ12Jul 9, 2015Updated 11 years ago
- My curriculum vitaeβ15Jun 22, 2026Updated last month
- Create .gitignore using GitHub or gitignore.io APIβ22Aug 14, 2021Updated 4 years ago
- WebGPU utilitiesβ21May 16, 2025Updated last year