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 4 years ago
- Documentation for dynamic machine learning systems.☆30Mar 31, 2026Updated 3 months ago
- Cross-compiler☆13Jul 21, 2017Updated 9 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Predicting length of stay in hospitals intensive care unit using MIMIC IV☆15Jun 2, 2022Updated 4 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.
- Tool to run Go source files automatically☆18Oct 24, 2011Updated 14 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 10 months ago
- Thin, efficient wrapper around Arb library (http://arblib.org/)☆31Jul 1, 2026Updated 2 weeks ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- ☆14Sep 30, 2022Updated 3 years ago
- ☆15Mar 17, 2025Updated last year
- Bib(la)tex citations for vim☆16Oct 16, 2024Updated last year
- LaTeX source code for the slides☆24Jul 15, 2021Updated 5 years ago
- Code for EMNLP'24 paper - On Diversified Preferences of Large Language Model Alignment☆16Aug 6, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Chrome extension that automatically adds viewed academic papers to your favorites.☆17Sep 25, 2018Updated 7 years ago
- A working Docker image for the Maxtract program that converts pdf to LaTeX sources☆13Oct 4, 2019Updated 6 years ago
- Documentation for terminator☆18Jul 2, 2026Updated 2 weeks ago
- NLPBench: Evaluating NLP-Related Problem-solving Ability in Large Language Models☆10Oct 27, 2023Updated 2 years ago
- ☆11Oct 19, 2020Updated 5 years ago
- The official implementation of InfoRM [NeurIPS 2024].☆16Oct 25, 2025Updated 8 months ago
- ☆18Apr 25, 2018Updated 8 years ago
- Google Research☆47Oct 29, 2022Updated 3 years ago
- dreaml: dynamic reactive machine learning☆14Jun 28, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Oct 3, 2023Updated 2 years ago
- RiddleSense: Reasoning about Riddle Questions Featuring Linguistic Creativity and Commonsense Knowledge☆13Oct 20, 2021Updated 4 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- Function Plot plugin for Draw.io Desktop.☆21Apr 9, 2022Updated 4 years ago
- Datasets associated with pyprobml☆20Jun 6, 2023Updated 3 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- 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
- Common support code for user-facing front end systems.☆12Jul 10, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A neural network capable of translating handwriting into text along with complex tools to generate datasets☆19Apr 5, 2020Updated 6 years ago
- 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 4 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 11 years ago
- Online machine learning algorithms based on Spark streaming☆12Nov 30, 2015Updated 10 years ago
- CLI tools for mathjax-node☆34Nov 3, 2023Updated 2 years ago
- Providing some useful shortcuts for markdown with latex.☆12Apr 8, 2022Updated 4 years ago