asmtools
|
7.0_b06-1 |
0 |
0.00
|
The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. |
tsachev
|
2018-12-28 15:08 (UTC) |
asmtools-hg
|
r26.edbdc1bf3211-2 |
0 |
0.00
|
The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. |
tsachev
|
2018-04-24 13:42 (UTC) |
asmttpd
|
0.4.4-1 |
1 |
0.00
|
Web server written in Assembly |
orphan
|
2020-02-08 06:40 (UTC) |
binfmt-wasm
|
20201128-1 |
1 |
0.00
|
Register wasmtime interpreter for wasm format |
dariost
|
2020-11-28 15:34 (UTC) |
bitwuzla
|
0.4.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-doc
|
0.4.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-git
|
0.4.0.r33.g72cad5f-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:40 (UTC) |
boogie-git
|
0.r5030.8448ac1c-1 |
2 |
0.00
|
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
joojoo
|
2020-04-26 07:41 (UTC) |
boolector
|
3.2.2-2 |
2 |
0.00
|
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. |
Ice_Phoenix
|
2021-11-15 13:52 (UTC) |
boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
boolector-java
|
3.2.6-1 |
0 |
0.00
|
Java bindings for the Boolector SMT solver |
abdullin.am
|
2022-04-29 08:44 (UTC) |
chasquid
|
1.11.1-1 |
0 |
0.00
|
SMTP (email) server with a focus on simplicity, security, and ease of operation |
foxcpp
|
2024-01-29 20:12 (UTC) |
clamsmtp
|
1.10-4 |
1 |
0.00
|
SMTP filter that allows you to check for viruses using the ClamAV anti-virus software. |
thorko
|
2020-06-09 08:41 (UTC) |
cvc4-git
|
1.6.r709.g219bc5991-1 |
2 |
0.00
|
An automatic theorem prover for SMT problems. |
orphan
|
2019-03-15 01:11 (UTC) |
cvc5
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-03-17 13:37 (UTC) |
cvc5-bestperformance
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Neferin
|
2024-03-17 13:37 (UTC) |
erlang-gen_smtp
|
0.13.0-1 |
0 |
0.00
|
A generic Erlang SMTP server/client framework |
zhustec
|
2018-08-12 10:36 (UTC) |
esmtp
|
1.2-8 |
1 |
0.00
|
An easy SMTP forwarder. |
lightdot
|
2021-08-20 07:21 (UTC) |
haraka
|
3.0.2-1 |
0 |
0.00
|
A fast, highly extensible, and event driven SMTP server |
orphan
|
2023-12-06 21:09 (UTC) |
hydroxide-git
|
v0.2.20.r0.4c7fd88d57cd-1 |
6 |
0.00
|
A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge |
emersion
|
2021-11-10 07:28 (UTC) |
ksmtp-git
|
6.0.40_r636.g8b59540-1 |
0 |
0.00
|
Job-based library to send email through an SMTP server |
IslandC0der
|
2024-03-01 06:51 (UTC) |
ksmtuned-git
|
15.fef066f-1 |
2 |
0.00
|
While the ksm service is only able to start and stop the KSM kernel thread, ksmtuned controls and tunes KSM according to the used memory of running qemu KVM instances. |
Anthony25
|
2022-04-03 16:33 (UTC) |
libsimplemail-qt-git
|
latest-1 |
0 |
0.00
|
An SMTP library written in C++ for Qt |
moustafine
|
2017-05-19 10:42 (UTC) |
libspf2-git
|
1.2.10.r189.79ed3e3-1 |
3 |
0.00
|
Implementation of the Sender Policy Framework for SMTP authorization |
annmuor
|
2015-09-21 21:19 (UTC) |
mailhog
|
1.0.1-1 |
0 |
0.00
|
Web and API based SMTP testing |
J5lx
|
2023-12-31 17:21 (UTC) |
mailhog-bin
|
v1.0.1-1 |
5 |
0.00
|
Web and API based SMTP testing |
waukalak
|
2021-01-23 21:44 (UTC) |
mailio
|
0.23.0-1 |
0 |
0.00
|
A cross platform C++ library for MIME format and SMTP, POP3 and IMAP protocols. |
adrien1018
|
2024-02-02 19:01 (UTC) |
mailpit
|
1.17.1-1 |
0 |
0.00
|
Web and API based SMTP testing |
apreiml
|
2024-04-24 06:25 (UTC) |
mailwizard
|
2.0.7-1 |
0 |
0.00
|
Configure neomutt, isync, getmail and msmtp with pass for passwords (POP3/SMTP) |
Kr1ss
|
2021-09-01 21:34 (UTC) |
mailwizard-git
|
2.0.6.r0.g1a5962e-1 |
2 |
0.00
|
Configure neomutt, isync, getmail and msmtp with pass for passwords (POP3/SMTP) |
Kr1ss
|
2021-08-31 00:53 (UTC) |
mathsat-5
|
5.6.9-1 |
1 |
0.00
|
MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities |
Ice_Phoenix
|
2023-01-30 14:14 (UTC) |
msmtp-ntlm
|
1.8.25-1 |
1 |
0.00
|
A mini smtp client - NTLM support |
wzyboy
|
2023-12-23 01:33 (UTC) |
msmtpq-systemd
|
1.0.0-1 |
0 |
0.00
|
Systemd unit for queuing and sending mail |
VannTen
|
2022-06-28 13:18 (UTC) |
nodejs-maildev
|
2.0.5-1 |
0 |
0.00
|
SMTP Server + Web Interface for viewing and testing emails during development. |
mathieu.clabaut
|
2022-05-31 15:19 (UTC) |
ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
ocaml-psmt2-frontend-git
|
r22.bb35b53-1 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2020-05-18 19:29 (UTC) |
offlinemsmtp
|
0.4.0-2 |
3 |
0.00
|
Use msmtp offline by queuing email until you have an internet connection. |
bbbart
|
2022-11-19 13:50 (UTC) |
openpnp-git
|
r3506.693671c629-1 |
0 |
0.00
|
Open Source SMT Pick and Place Hardware and Software |
GPereira
|
2021-10-10 10:57 (UTC) |
opensmtpd-extras
|
6.7.1-1 |
5 |
0.00
|
Additional queues, schedulers, and tables for OpenSMTPD |
yobert
|
2021-08-04 06:15 (UTC) |
opensmtpd-extras-git
|
0+r604+g36cc595-1 |
1 |
0.00
|
Additional queues, schedulers, and tables for OpenSMTPD (Git) |
orphan
|
2019-10-24 03:41 (UTC) |
opensmtpd-filter-replace-from_reply
|
1.0.4-1 |
0 |
0.00
|
This is a simple OpenSMTPD filter for overwriting the email address in the MAIL FROM command, in the header in all sent messages, as well as for substituting the original MAIL FROM address in the Reply-To field |
Genues
|
2021-04-28 12:51 (UTC) |
opensmtpd-filter-rspamd-git
|
0.1.6-1 |
1 |
0.00
|
OpenSMTPD filter integration for Rspamd (git) |
vitorhnn
|
2020-05-27 06:41 (UTC) |
opensmtpd-filter-sake
|
1.0.0-2 |
0 |
0.00
|
OpenSMTPD filter for sub-address verification |
rodolphe
|
2023-08-25 14:38 (UTC) |
opensmtpd-filter-senderscore-git
|
0.1.0+r3+g824cc03-3 |
1 |
0.00
|
OpenSMTPD filter integration for Sender Score (git) |
vitorhnn
|
2019-10-17 18:02 (UTC) |
opensmtpd-filter-spamassassin
|
0.7-1 |
0 |
0.00
|
OpenSMTPD filter for spamassassin |
SeeSchloss
|
2023-10-02 15:16 (UTC) |
opensmtpd-table-passwd
|
6.6.0-1 |
1 |
0.00
|
table-passwd for using a passwd file with OpenSMTPd |
orphan
|
2020-03-03 20:42 (UTC) |
opensmtpd-table-sqlite
|
201607122008-1 |
0 |
0.00
|
table-sqlite for using sqlite with OpenSMTPd |
parchd
|
2017-08-17 17:10 (UTC) |
osmtogeojson
|
3.0.0b5-1 |
2 |
0.00
|
Convert OSM data to GeoJSON |
enigma
|
2022-12-05 08:31 (UTC) |
pen
|
0.33.0-1 |
0 |
0.00
|
A highly scalable, highly available, robust load balancer for tcp and udp based protocols such as dns, http or smtp. |
Tamakizu
|
2016-04-21 19:34 (UTC) |
perl-email-sender-transport-smtp-tls
|
0.15-1 |
0 |
0.00
|
Email::Sender with Net::SMTP::TLS (Eg. Gmail) |
jnbek
|
2015-06-16 20:51 (UTC) |