Stars
romanvht / ByeByeDPI
Forked from dovecoteescapee/ByeDPIAndroidПриложение локально запускает ByeDPI и перенаправляет весь трафик через него
An Android app that uses your phone's sensors to assist with wilderness treks or survival situations.
Dictionary shell application for DSL and DSL.DZ formats
A macOS app for customizing which browser to start
ecd-plugin / ecd
Forked from cpupk/ecdAn Eclipse Plugin to integrate different Class Decompiler seamlessly into the development workflow
An Emacs framework for the stubborn martian hacker
AeroSpace is an i3-like tiling window manager for macOS
Sioyek is a PDF viewer with a focus on textbooks and research papers
All your services in one place, built by the community
Ora2Pg is a free tool used to migrate an Oracle database to a PostgreSQL compatible schema. It connects your Oracle database, scan it automatically and extracts its structure or data, it then gener…
PostgreSQL extension to create, manage and use Oracle-style Global Temporary Tables and the others RDBMS
Docker image that includes Wine and Winetricks for running Windows applications on Linux and macOS
Quail package for inputting Cyrillic characters
Astronomy observation planning tool for Android devices with excellent star charting capabilities made by active and experienced amateur observers with a passion for visual observations
Java extension for the eglot LSP client
Lecture notes and code for Machine Learning practical course on CMC MSU
First class composable record labels for Haskell.
Markdown version of the Haskell Typeclassopedia
Axiom is a free, open source computer algebra system
The Mercury logic programming system.
Happy Haskell Hacking for editors. DEPRECATED
Ultimate auto-completion system for Vim.