|
type_safe-git
|
0.1.r121.g128f658-1 |
0 |
0.00
|
Zero overhead utilities for preventing bugs at compile time |
verri
|
2017-03-23 14:58 (UTC) |
|
web-hosting-manager
|
0.4.1-1 |
0 |
0.00
|
A tutorial app showcasing how to create and manage web services for Public ID on SAFE Network. |
ebvalaim
|
2017-10-23 08:55 (UTC) |
|
whiley
|
0.3.40-1 |
0 |
0.00
|
Whiley Development Kit. A programming language particularly suited to safety-critical systems |
zyphrus
|
2016-07-23 07:16 (UTC) |
|
xr0
|
0.15.1-1 |
0 |
0.00
|
A verifier for C that aims to guarantee the safety of C programs at compile time |
necklace
|
2024-04-15 08:03 (UTC) |
|
yiolibc
|
v0.3.1-1 |
0 |
0.00
|
Yio Input Output C Library that aims in type-safe printf replacement |
Kamilcuk
|
2022-02-17 01:23 (UTC) |
|
ysoft-client
|
4.0.87-4 |
0 |
0.00
|
YSOFT SafeQ Printing Software |
effeffe
|
2023-09-07 10:10 (UTC) |
|
b64url
|
0.1.1-1 |
1 |
0.00
|
Command line URL-safe Base-64 encoder/decoder |
msrd0
|
2024-04-07 14:16 (UTC) |
|
bloom-wallet
|
0.1.12.1-1 |
1 |
0.18
|
Bloom is a beautifully designed, user-centric wallet. Explore the best of Web3 in a safe, curated environment. |
chrissi
|
2024-03-29 21:30 (UTC) |
|
c0-bin
|
0.771-1 |
1 |
0.00
|
A small safe subset of the C programming language, augmented with contracts |
kopecs
|
2021-07-10 23:34 (UTC) |
|
chef-server
|
14.14.1-1 |
1 |
0.00
|
The Chef server works with the Chef client as a central artifact store and distribution mechanism that manages scale, complexity, and safeguarding your systems. |
orphan
|
2022-04-08 21:03 (UTC) |
|
ddi-bin
|
1.0-1 |
1 |
0.00
|
A safer dd |
tralph3
|
2021-05-12 00:21 (UTC) |
|
entityx-git
|
1.2.0.r0.ga7535d8-3 |
1 |
0.00
|
A fast, type-safe C++ Entity-Component system |
Xentec
|
2015-08-14 05:34 (UTC) |
|
etcher-ng-bin
|
1.19.17-1 |
1 |
0.37
|
Flash OS images to SD cards & USB drives, safely and easily - Custom, debloated |
zxp19821005
|
2024-04-28 02:24 (UTC) |
|
gleam-bin
|
1.2.0-1 |
1 |
0.56
|
A friendly language for building type-safe, scalable systems! |
mia
|
2024-05-27 23:56 (UTC) |
|
gnosis-safe-multisig-bin
|
3.22.1-1 |
1 |
0.00
|
Gnosis Safe Multisig Desktop (Beta) for Linux, a Ethereum Multisig Wallet |
uxio
|
2022-08-30 09:13 (UTC) |
|
hickory-dns
|
0.24.1-1 |
1 |
0.01
|
Hickory DNS is a safe and secure DNS server with DNSSEC support. Eventually t... |
msrd0
|
2024-04-19 13:00 (UTC) |
|
keepassx-dark-git
|
2.0.3.r84.g0d0c630-1 |
1 |
0.00
|
It is an OpenSource password safe which helps you to manage your passwords in an easy and secure way |
degreeme
|
2019-05-02 21:03 (UTC) |
|
libsafec
|
1:3.7.1-1 |
1 |
0.00
|
Implementtion of C11 Annex K + ISO TR24731 Bounds Checking Interface |
orphan
|
2022-03-05 22:29 (UTC) |
|
lily
|
2.0-1 |
1 |
0.00
|
An interpreted language with a focus on expressiveness and type safety |
orphan
|
2021-07-22 10:45 (UTC) |
|
lily-git
|
git-1 |
1 |
0.00
|
An interpreted language with a focus on expressiveness and type safety |
crasm
|
2016-08-13 02:13 (UTC) |
|
luau-git
|
0.605.2ea71937-1 |
1 |
0.00
|
A fast, small, safe, gradually typed embeddable scripting language derived from Lua |
orphan
|
2023-12-08 10:40 (UTC) |
|
olivetin
|
2024.03.24-4 |
1 |
0.00
|
Give safe and simple access to predefined shell commands from a web interface. |
jamesread
|
2024-04-08 09:54 (UTC) |
|
pam-tmpdir
|
0.09-2 |
1 |
0.00
|
PAM module for creating safe per-user temporary directories |
gamezelda
|
2021-08-21 16:42 (UTC) |
|
pasaffe
|
0.57-1 |
1 |
0.00
|
Easy to use password manager for Gnome with a Password Safe 3.0 compatible database. |
nobodyinperson
|
2023-01-17 16:03 (UTC) |
|
perl-class-insideout
|
1.14-2 |
1 |
0.00
|
Perl module for safe and simple inside-out objects construction |
bunder
|
2019-08-22 07:03 (UTC) |
|
perl-mldbm-sync
|
0.30-1 |
1 |
0.00
|
safe concurrent access to MLDBM databases |
jnbek
|
2015-06-16 21:23 (UTC) |
|
perl-safe
|
2.35-1 |
1 |
0.00
|
Compile and execute code in restricted compartments |
jnbek
|
2015-06-16 21:50 (UTC) |
|
perl-safe-isa
|
1.000010-1 |
1 |
0.00
|
Perl/CPAN Module Safe::Isa: Call isa, can, does and DOES safely on things that may not be objects |
int
|
2018-08-23 09:59 (UTC) |
|
perl-template-plugin-javascript
|
0.02-2 |
1 |
0.00
|
Encodes text to be safe in JavaScript |
CReimer
|
2024-03-12 15:34 (UTC) |
|
posixsignalmanager-git
|
r81.4426a73-3 |
1 |
0.07
|
Library for safe, synchronous and asynchronous handling of posix signals for Qt applications and libraries |
bziemons
|
2023-03-09 00:45 (UTC) |
|
python-persist-queue
|
0.8.1-1 |
1 |
0.01
|
Thread-safe disk-based persistent queue |
Maetveis
|
2023-11-17 18:51 (UTC) |
|
python-returns
|
0.23.0-1 |
1 |
0.21
|
Make your functions return something meaningful, typed, and safe |
KokaKiwi
|
2024-06-18 10:12 (UTC) |
|
python-shortuuid
|
1.0.13-2 |
1 |
0.00
|
library that generates concise, unambiguous, URL-safe UUIDs |
alerque
|
2024-04-28 09:44 (UTC) |
|
python-wrapt-timeout-decorator
|
1.5.1-1 |
1 |
0.09
|
Powerful Timeout Decorator that can be used safely on classes, methods, class methods |
GPereira
|
2024-04-30 14:05 (UTC) |
|
rbenv-vars
|
1.2.0-2 |
1 |
0.00
|
An rbenv plugin that safely sets global and per-project environment variables. |
synthead
|
2019-09-18 00:43 (UTC) |
|
sac-core-legacy
|
10.0.37-6 |
1 |
0.00
|
SafeNet Authentication Client (version 10.0 for old Alladin eToken support) |
grawity
|
2021-11-24 06:24 (UTC) |
|
safedotenv-git
|
1.0.0-1 |
1 |
0.00
|
Tool to ensure that all .env secrets are safe by scanning your code |
gbaranski
|
2021-03-13 23:10 (UTC) |
|
safesign-lib
|
4.0.0.0-1 |
1 |
0.57
|
Smart card PKCS#11 provider - library only |
pedrohqb
|
2024-05-26 00:29 (UTC) |
|
sozu
|
0.13.6-1 |
1 |
0.00
|
HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust |
orphan
|
2022-03-04 21:54 (UTC) |
|
splitpath
|
1.0-2 |
1 |
0.00
|
Safely split paths in many ways |
dno
|
2019-09-24 15:24 (UTC) |
|
sqlpp11
|
0.64-1 |
1 |
0.00
|
A type safe embedded domain specific language for SQL queries and results in C++ |
Erroneous
|
2023-12-04 19:26 (UTC) |
|
supercollider-safety-limiter-git
|
r6.236feb1-1 |
1 |
0.00
|
A zero-latency safety limiter for SuperCollider |
orphan
|
2021-10-19 10:03 (UTC) |
|
thesafe
|
1.0-0 |
1 |
0.00
|
Bup Frontend |
vicr123
|
2018-03-09 04:07 (UTC) |
|
trashf
|
1.0.3-1 |
1 |
0.00
|
CLI tool to safely remove any file and directory by putting them in the trash |
yoarch
|
2020-04-21 19:51 (UTC) |
|
trust-dns-git
|
0.23.0.alpha.5.r0.ae1428c2-1 |
1 |
0.00
|
Safe and secure authoritative DNS server |
HLFH
|
2023-08-03 21:33 (UTC) |
|
tunsafe
|
1.4-2 |
1 |
0.00
|
High performance and secure VPN client that uses the WireGuard protocol |
Chocobo1
|
2024-06-05 12:51 (UTC) |
|
tunsafe-git
|
1.4.r79.g85a871c-2 |
1 |
0.00
|
High performance and secure VPN client that uses the WireGuard protocol |
Chocobo1
|
2024-06-05 12:53 (UTC) |
|
vlang-git
|
0.4.5.r93.ga1d4712b0b-1 |
1 |
0.01
|
Simple, fast, safe, compiled language for developing maintainable software (development version) |
Chewing_Bever
|
2024-04-10 14:01 (UTC) |
|
vx32-git
|
r371.c847824-1 |
1 |
0.00
|
Portable, efficient, safe execution of untrusted x86 code. |
aksr
|
2021-04-10 04:08 (UTC) |
|
yandex-browser-corporate
|
24.4.3.1118-1 |
1 |
0.87
|
The web browser from Yandex. Yandex Browser is a browser that combines a minimal design with sophisticated technology to make the web faster, safer, and easier. |
Stezko
|
2024-06-19 02:06 (UTC) |