Jupyter notebooks with some NAND code
☆19Dec 4, 2018Updated 7 years ago
Alternatives and similar repositories for nandnotebooks
Users that are interested in nandnotebooks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- easily bind shellcheck and shfmt to your CI, so your shellscripts can be checked.☆16Jun 24, 2022Updated 3 years ago
- Documentation for dynamic machine learning systems.☆30Mar 31, 2026Updated last month
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated last year
- ☆10Mar 13, 2023Updated 3 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 7 months 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.
- Thin, efficient wrapper around Arb library (http://arblib.org/)☆30Feb 7, 2026Updated 2 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 3 years ago
- ☆14Aug 9, 2018Updated 7 years ago
- ☆14Sep 30, 2022Updated 3 years ago
- LaTeX source code for the slides☆24Jul 15, 2021Updated 4 years ago
- Generate and represent domain model classes via category-like equations which can be simplified to get the optimal class structure for th…☆15May 17, 2020Updated 5 years ago
- Source code for NeurIPS 2020 paper "Node Classification on Graphs with Few-Shot Novel Labels via Meta Transformed Network Embedding"☆10Nov 17, 2020Updated 5 years ago
- Code for EMNLP'24 paper - On Diversified Preferences of Large Language Model Alignment☆16Aug 6, 2024Updated last year
- ☆12Aug 13, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- NLPBench: Evaluating NLP-Related Problem-solving Ability in Large Language Models☆10Oct 27, 2023Updated 2 years ago
- ☆18Apr 25, 2018Updated 8 years ago
- ☆11Oct 19, 2020Updated 5 years ago
- Google Research☆46Oct 29, 2022Updated 3 years ago
- Online learning of sparse dictionaries☆13Sep 19, 2017Updated 8 years ago
- This is the pytorch implementation of the UAI2023 paper "A Trajectory is Worth Three Sentences: Multimodal Transformer for Offline Reinf…☆11Oct 9, 2023Updated 2 years ago
- ☆10Oct 3, 2023Updated 2 years ago
- Fork of Bliss☆14Dec 13, 2025Updated 4 months ago
- ☆12Mar 25, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Bazel plugin for the asdf version manager☆11Aug 10, 2023Updated 2 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- Function Plot plugin for Draw.io Desktop.☆21Apr 9, 2022Updated 4 years ago
- This repo contains a set of notebooks to reproduce reinforcement learning algorithms.☆16Nov 21, 2022Updated 3 years ago
- Let there be clock in the beach - WACV 2022☆15Nov 15, 2021Updated 4 years ago
- DEPRECATED Interfaces to common external biological tools from julia scripts and programs☆14Oct 8, 2024Updated last year
- Scalable real-time stream mining on Twitter Public Stream using SAMOA☆14Dec 15, 2014Updated 11 years ago
- Applying Reinforcement Learning from Human Feedback to language models to teach them to write short story responses to writing prompts.☆13May 5, 2022Updated 3 years ago
- CLI tools for mathjax-node☆34Nov 3, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Online machine learning algorithms based on Spark streaming☆12Nov 30, 2015Updated 10 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- Example demonstrating a Scala project that builds using Gradle, produces a shadow jar suitable for spark-submit, and has tests using Scal…☆18Jun 18, 2015Updated 10 years ago
- Providing some useful shortcuts for markdown with latex.☆12Apr 8, 2022Updated 4 years ago
- Simple tutorial to get familiar with how to program quantum computers using Qiskit☆11Sep 9, 2019Updated 6 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- Work towards creating a common JSON based format for compact network specification☆14Jan 6, 2026Updated 3 months ago