☆10Nov 2, 2023Updated 2 years ago
Alternatives and similar repositories for forum
Users that are interested in forum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 8, 2023Updated 2 years ago
- Simple interface to see the history of course demand and allocation☆43Jan 10, 2026Updated 2 months ago
- LightWeight activity tracker for mac☆24Oct 5, 2025Updated 5 months ago
- Verifying the SCION architecture using Gobra☆11Mar 16, 2026Updated last week
- Use cases for ShadeMap API☆12Jun 10, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Reaction training game for Super Smash Bros. Melee☆13Dec 7, 2022Updated 3 years ago
- NUS Canvas file sync☆66Apr 16, 2025Updated 11 months ago
- ☆23Feb 29, 2024Updated 2 years ago
- An app to monitor and view app usage statistics for your desktop.☆16Updated this week
- a badly-designed document store on top of discord (meme, not production ready, NOT PRODUCTION READY)☆23Feb 26, 2022Updated 4 years ago
- Convert PDF presentations to HTML, including presenter mode☆22May 30, 2024Updated last year
- A tool for synthesis of Rust code, very early prototype☆14Jan 9, 2024Updated 2 years ago
- Dynamic Adversarial Benchmarking platform☆26Jun 22, 2022Updated 3 years ago
- NUS CS, math & statistics cheatsheets☆290Nov 29, 2024Updated last year
- 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.
- GreyCTF 2022 challenge source and solution☆17Jun 24, 2022Updated 3 years ago
- Standard Jane Street ppx rewriters☆37Jan 15, 2026Updated 2 months ago
- For NUS PhD Students and Staffs, just one click to open the research papers on Google Scholar/IEEE/ACM, etc. with this script.☆25Jul 11, 2024Updated last year
- HITB SECCONF CTF 2022. Developed with ❤️ by Hackerdom team and HITB.☆20Aug 26, 2022Updated 3 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated 2 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- ☆59Jan 27, 2023Updated 3 years ago
- MarkBind is a tool for generating content-heavy websites from source files in Markdown format☆154Updated this week
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆36Jan 24, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- NUS Mathematics Society's LaTeX committee official repository☆88Aug 24, 2025Updated 7 months ago
- NUS Hackers website☆47Feb 27, 2026Updated 3 weeks ago
- This repository contains solutions to assorted questions in the Textbook Linear Algebra:Concepts ant Techniques on Euclidean Spaces by Ma…☆29Jul 26, 2017Updated 8 years ago
- The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.☆55Jun 23, 2022Updated 3 years ago
- 🏫 Official course planning platform for National University of Singapore.☆664Updated this week
- ☆78Mar 27, 2024Updated last year
- Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)☆110Updated this week
- ctf solutions☆81Apr 2, 2024Updated last year
- ☆67May 29, 2022Updated 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 and start building anything your business needs.
- CATcher is a software application used for peer-testing of software projects.☆92Jul 25, 2025Updated 8 months ago
- Rails 6 re-write of Coursemology☆157Updated this week
- A curated list of programming & software engineering articles, blogs & papers.☆59Apr 4, 2024Updated last year
- List of notable tech companies in Singapore☆611Mar 4, 2025Updated last year
- A language for building Docker/OCI container images☆278May 14, 2022Updated 3 years ago
- Contribution analysis tool for Git repositories☆322Mar 19, 2026Updated last week
- Run JavaScript code from Elixir☆153Aug 13, 2018Updated 7 years ago