banrovegrie / ChristineView external linksLinks
Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior
☆12May 3, 2025Updated 9 months ago
Alternatives and similar repositories for Christine
Users that are interested in Christine are comparing it to the libraries listed below
Sorting:
- A blog with Notion as its content management system. Imports content from notion and publishes it.☆13May 17, 2021Updated 4 years ago
- Tool for user verification via CAS on Discord servers.☆20Apr 3, 2024Updated last year
- A bot that summaries conversations and records them for future use☆11Oct 14, 2020Updated 5 years ago
- Resources related to IIITH courses for learning beyond the courses.☆147Aug 14, 2022Updated 3 years ago
- "We must know. We shall know." - David Hilbert☆21Sep 8, 2025Updated 5 months ago
- Syllabus and course offerings for courses in IIITH.☆29Jul 24, 2023Updated 2 years ago
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆32Feb 12, 2021Updated 5 years ago
- Repository for public code and data associated with the paper "Fake News on Twitter During the 2016 U.S. Presidential Election☆12Dec 5, 2019Updated 6 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- Cynthia Solomon's history of Logo☆12Jan 21, 2025Updated last year
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Zotero course notes for the workshops given by the librarians at EPFL, Lausanne☆10Apr 25, 2023Updated 2 years ago
- DSI's Exploratory Data Science Curriculum, taught during Summer 2017☆10Sep 13, 2017Updated 8 years ago
- A simple clock widget for Übersicht☆20Apr 15, 2019Updated 6 years ago
- A course review system for IIIT-H Students.☆12Apr 1, 2019Updated 6 years ago
- On Simple Reactive Neural Networks for Behaviour-Based Reinforcement Learning by Ameya Pore and Gerardo Aragon-Camarasa☆10Jan 28, 2020Updated 6 years ago
- Open-source textbook about CHERI capabilities, for a developer audience☆18May 29, 2025Updated 8 months ago
- A little sketch of a text-based time-rewinding game☆17Sep 24, 2011Updated 14 years ago
- examples of using ip rules and multiple routing tables to solve real-world problems☆14Aug 20, 2010Updated 15 years ago
- IREE compiler and runtime for Snitch☆14Oct 9, 2025Updated 4 months ago
- Implementation of the Lemke-Howson algorithm for finding MNE☆15Nov 2, 2013Updated 12 years ago
- A Python interpreter for the huh? programming language.☆10Mar 1, 2018Updated 7 years ago
- All things done for IIIT research.☆11Oct 28, 2020Updated 5 years ago
- A visual semantic planner for the ALFRED virtual agent challenge using the GPT-2 language model☆16Oct 1, 2020Updated 5 years ago
- A constraint programming solver with support for proof logging☆17Nov 28, 2025Updated 2 months ago
- A command line tool to predict the like count of a YouTube video.☆12Apr 13, 2017Updated 8 years ago
- 📝 Version control your thoughts☆16May 1, 2024Updated last year
- racket llvm C-API bindings☆17Feb 7, 2026Updated last week
- stockfighter API wrapper☆11Dec 26, 2022Updated 3 years ago
- Code for Neurips 2024 paper: "Pure Message Passing Can Estimate Common Neighbor for Link Prediction"☆17Oct 8, 2024Updated last year
- A MySQL backup tool for Google Sheets, written in Node.js.☆15Jun 9, 2021Updated 4 years ago
- A representative FP Castle☆19Jan 16, 2026Updated last month
- Solves a sudoku puzzle by looking at it☆12Sep 30, 2022Updated 3 years ago
- the natural state of entropy is to increase. we must fight against it.☆14Dec 27, 2022Updated 3 years ago
- An implementation of Contextual Attention Recurrent Architecture (SIGIR 2018)☆15Mar 10, 2022Updated 3 years ago
- Automatically fetch metadata for your music collection and rename files accordingly☆16Jun 8, 2017Updated 8 years ago
- Official repository of "On Positional and Structural Node Features for Graph Neural Networks on Non-attributed Graphs", CIKM 2022☆18Aug 23, 2022Updated 3 years ago
- Material for introduction to Deep Learning Tutorials, Summer '20, '21☆16Jul 2, 2021Updated 4 years ago
- A collection of bots for the twenty one pilots Discord server☆20Dec 6, 2025Updated 2 months ago