☆10Jan 8, 2015Updated 11 years ago
Alternatives and similar repositories for PaperReadingGroup
Users that are interested in PaperReadingGroup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compiler to the Portuguese Algorithmic Language☆24Apr 24, 2017Updated 9 years ago
- ☆10Jan 18, 2017Updated 9 years ago
- ☆10Aug 25, 2020Updated 6 years ago
- A library to convert between Sigstore Bundles and PEP 740 Attestation objects☆17Updated this week
- Source code for 'Pro Hadoop Data Analytics' by Kerry Koitzsch☆14Jul 6, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Assessors Studio operationalizes CycloneDX Attestations (CDXA): perform assessments, collect evidence, make claims, and issue machine-rea…☆17Aug 16, 2026Updated 2 months ago
- ICSE'18: Tuning Smote☆10Aug 15, 2018Updated 8 years ago
- A tool to convert any ordinary Git repository to a Historage repository, a fine-grained version control repository.☆12Jan 9, 2020Updated 6 years ago
- Provide full security provenance and agent attestations from source to runtime☆27Jun 28, 2026Updated 4 months ago
- A toolkit for pre-processing large source code corpora☆45Sep 30, 2022Updated 4 years ago
- OPA/Rego policies for use with Conforma☆23Updated this week
- ☆22Jul 16, 2025Updated last year
- Pharo Smalltalk bindings to the GitHub API☆12Jul 16, 2020Updated 6 years ago
- Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).☆43Jan 18, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆23Oct 14, 2026Updated 2 weeks ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 5 years ago
- Kenja repository☆17Oct 29, 2021Updated 5 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A set of tools for extracting tokens and ASTs from code☆22Jun 5, 2018Updated 8 years ago
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- My solutions to OpenAI gym problems.☆10Jul 31, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A system for running blockable Python in the browser, using Pyodide and Unthrow, specifically for CS Education☆10Jul 5, 2024Updated 2 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- A survey of manufacturer-provided DRAM operating parameters and timings as specified by DRAM chip datasheets from between 1970 and 2021. …☆11May 4, 2022Updated 4 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- ☆10Mar 16, 2023Updated 3 years ago
- Bypassing ssl pinning for facebook messenger android app☆11Nov 12, 2018Updated 7 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Repository of teaching material for product lines and variability☆12Aug 30, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Explainable AI for Software Engineering: A Hands-on Guide on How to Make Software Analytics More Practical, Explainable, and Actionable (…☆29Nov 14, 2021Updated 4 years ago
- A collection of examples, tests and documentation for building a real-time web app with python tornado.☆18Feb 26, 2014Updated 12 years ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 7 months ago
- Haskell Expression Visualizer☆13Apr 2, 2022Updated 4 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 4 months ago
- A plugin for Protégé that checks gUFO-based ontologies for adherence to UFO rules☆11Dec 3, 2025Updated 10 months ago