Hours upon hours upon hours of interview prep
☆17Mar 27, 2017Updated 9 years ago
Alternatives and similar repositories for epi
Users that are interested in epi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Program that automatically locks the screen when a face is not detected☆14Jun 18, 2013Updated 13 years ago
- A program to shred files and folders securely☆11Apr 9, 2016Updated 10 years ago
- A preliminary platform for up to 1 million reinforcement learning agents☆12Aug 27, 2017Updated 9 years ago
- A super simple, fast NoSQL database made in Java.☆10Jul 4, 2021Updated 5 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆10Jan 11, 2015Updated 11 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.
- An application which can encrypt any file with a password and make a self-extracting binary for unlocking it.☆17Oct 21, 2015Updated 11 years ago
- ☆12Oct 8, 2020Updated 6 years ago
- Implementation for the CVPR2019 paper "Graphical Contrastive Losses for Scene Graph Parsing"☆12Nov 11, 2019Updated 6 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- akid is a python package written for doing research in Neural Network.☆14Mar 24, 2023Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- A tool to create a snapshot ( poor man's backup ) of a directory.☆22Jun 18, 2022Updated 4 years ago
- Minimal implementation of ordered n-tuples class in Lua☆14Oct 10, 2016Updated 10 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.
- Use DeepSeek models in VS Code Copilot Chat☆27Oct 22, 2026Updated last week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 11 months ago
- Automatically backup files to your Google Drive account periodically☆18Oct 28, 2017Updated 9 years ago
- Wrap Antigravity, ChatGPT Codex, Claude Code, Grok Build as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy t…☆16Sep 19, 2026Updated last month
- Hyper-optimization for torch7☆49Feb 27, 2016Updated 10 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- Curated list of awesome open-source applications made with Node.js☆17Nov 22, 2016Updated 9 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Slides for my machine learning course based on Sebastian Raschka's Python Machine Learning book☆15Jun 22, 2018Updated 8 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.
- Write Python modules in Lean! (WIP)☆16Oct 10, 2026Updated 2 weeks ago
- ☆17Oct 16, 2018Updated 8 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- ☆18Apr 19, 2024Updated 2 years ago
- Streaming HDR image format reading module for node.js☆13Oct 29, 2017Updated 9 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 3 years ago
- terminal ui mojo programming language☆12Mar 11, 2026Updated 7 months ago
- Maintenance: An all-in-one Docker image for deep learning. Contains all the popular DL frameworks (TensorFlow, Theano, Torch, Caffe, etc.…☆11Mar 29, 2018Updated 8 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 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.
- Some basic libraries for Coq.☆14Sep 9, 2025Updated last year
- A generative adversarial network for text generation, written in TensorFlow.☆92Oct 4, 2016Updated 10 years ago
- How to build an end to end search engine using elasticsearch and angularjs☆26Aug 31, 2018Updated 8 years ago
- Demonstrates a fix for the mutating divide-and-conquer COW problem☆14Apr 12, 2020Updated 6 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- ArrayViews: creating specific views to array storage objects☆16Feb 6, 2019Updated 7 years ago
- An experimental library for HTML generation in Mojo☆14May 8, 2024Updated 2 years ago