Unified daughterboards for custom keyboard designers and users
Updated 2024-06-30 17:46:31 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-06-30 17:46:23 +03:00
Unified daughterboards for custom keyboard designers and users
Updated 2024-06-30 17:46:21 +03:00
install nixos everywhere via ssh
Updated 2024-06-30 17:09:15 +03:00
A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports computation on CPU and GPU.
python
machine-learning
tutorial
data-science
gpu
big-data
catboost
categorical-features
coreml
cuda
data-mining
decision-trees
gbdt
gbm
gpu-computing
gradient-boosting
kaggle
r
Updated 2024-06-30 16:41:38 +03:00
Gala Window Manager for elementary OS and Pantheon
Updated 2024-06-30 16:11:14 +03:00
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
starred-repo
cli
github
go
ci
linter
gitlab
static-analysis
lint
code-quality
bitbucket
code-review
codereview
static-code-analysis
starred-reviewdog-repo
Updated 2024-06-30 15:52:10 +03:00
Static type checker for Python
Updated 2024-06-30 15:49:24 +03:00
A new type of shell
Updated 2024-06-30 15:38:41 +03:00
Fast, disk space efficient package manager -- 快速的,节省磁盘空间的包管理工具
starred-repo
javascript
nodejs
node
package-manager
npm
dependency-manager
install
modules
starred-pnpm-repo
Updated 2024-06-30 15:29:49 +03:00
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
starred-repo
haskell
privacy
encryption
security
chat
double-ratchet
e2ee
messaging
protocol
starred-simplex-chat-repo
Updated 2024-06-30 14:44:15 +03:00
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
starred-repo
cbz
djvu
djvu-reflow
ebook
ebook-reader
eink
epub
ereader
fb2
kindle
kobo
luajit
opds
pdf
pdf-reflow
pocketbook
reader
reflow
remarkable-tablet
ubuntu-touch
starred-koreader-repo
Updated 2024-06-30 14:29:22 +03:00
one CLI to format your repo
Updated 2024-06-30 14:26:54 +03:00
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Updated 2024-06-30 14:16:41 +03:00
Truly independent web browser
Updated 2024-06-30 14:09:39 +03:00
Virtual whiteboard for sketching hand-drawn like diagrams
canvas
collaboration
diagrams
drawing
hacktoberfest
productivity
starred-excalidraw-repo
starred-repo
whiteboard
Updated 2024-06-30 13:59:42 +03:00