Stars
Maintain an open standard for UI and promote its adherence and adoption.
Use MiniZinc in the browser or with NodeJS
Source code for Twitter's Recommendation Algorithm
MiniZinc playground using WebAssembly
org-noter / org-noter
Forked from weirdNox/org-noterEmacs document annotator, using Org-mode
Penpot: The open-source design tool for design and code collaboration
c1-g / org-noter-media
Forked from auroranil/org-noter-mediaorg-noter for video/audio files via mpv
Allows you easily scan for and delete scam comments using several methods.
Highlight & annotate text, EWW, Info, and EPUB
A guide to learn and become active in the demoscene within a couple of weeks
🐚 Portable Unix shell commands for Node.js
An implementation of an algebraically closed interval system of the extended real number set
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
org-mode on the web, built with React, optimized for mobile, synced with Dropbox and Google Drive
Taking interactive notes when watching videos or listening to audios in org-mode.
Emacs package to enable transclusion with Org Mode
A custom org link type for pdf-tools
A personal knowledge management and sharing system for VSCode
Fast and powerful CSV (delimited text) parser that gracefully handles large files and malformed input
Adds variables to python traceback. Simple, lightweight, controllable. Customize formats and colors. Debug reasons of exceptions by logging or pretty printing colorful variable contexts for each fr…
Command-line program to download videos from YouTube.com and other video sites
Celery support for Flask without breaking PyCharm inspections.
CoCalc: Collaborative Calculation in the Cloud