arrowd Goto Github PK
Name: Gleb Popov
Type: User
Location: Russia
Blog: arrowd.name
Name: Gleb Popov
Type: User
Location: Russia
Blog: arrowd.name
Tools and libraries to work with AppStream metadata
A fast AppStream metadata generator
Portable tools for automating systems management
Budgie Desktop View is the official Budgie desktop icons application / implementation.
Official upstream development repository for Cabal and cabal-install
The core component that is used to participate in a Cardano decentralised blockchain.
ConsoleKit2 is a framework for defining and tracking users, login sessions, and seats.
An advanced SAT Solver
This package provides efficient hash implementations for strict and lazy bytestrings. For now, CRC32 and Adler32 are supported; they are implemented as FFI bindings to efficient code from zlib.
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
.NET news, announcements, release notes, and more!
What?
FreeBSD doc tree (read-only mirror)
arrowd's FreeBSD ports tree
FreeBSD quarterly reports
GHC .prof files viewer
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
Truth-table generator for classical propositional logic
🛡️ Windows Hello™ style facial authentication for Linux
KLEE Symbolic Execution Engine
Website for the KLEE project: https://klee.github.io/
Caches IO action by relying on GHC RTS implementation
The LLVM-based D Compiler.
inotify shim for BSD
libportal - Flatpak portal library
libudev-compatible interface for devd
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
the MiKTeX source code
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.