#
ferasbg
Follow
Starred repositories
A Spotify player in the terminal with full feature parity
Visualizing Chrome Browser History using Obsidian
[ICLR 2024] Efficient Streaming Language Models with Attention Sinks
Citerva is an open-access, open-source bibliometrics application to search up and analyze research articles and its related information, such as authors, cited articles, related concepts, and more.
Ancillary open source software to support confidential computing on NVIDIA GPUs
CLI platform to experiment with codegen. Precursor to: https://lovable.dev
End-to-end encrypted visual note-taking tool with deep page navigation.
A Python library for learning and verification of neural networks and other machine learning models
python library for invisible image watermark (blind image watermark)
A latent text-to-image diffusion model
🤗 A list of wonderful open-source projects & applications integrated with Hugging Face libraries.
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Espial is an engine for automated organization and discovery of personal knowledge
Integrate Git version control with automatic commit-and-sync and other advanced features in Obsidian.md
Download books from a 📚 Goodreads shelf using ⛵ Library Genesis.
Examples of how to create colorful, annotated equations in Latex using Tikz.
List of Computer Science courses with video lectures.
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.