|
python-jedi-git
|
v0.17.2.r141.216f976f-0 |
0 |
0.00
|
An awesome autocompletion, static analysis and refactoring library for Python |
orphan
|
2020-08-11 18:41 (UTC) |
|
skydocs
|
0.7.4-1 |
0 |
0.00
|
A lightweight static documentation builder with MarkDown |
orphan
|
2020-07-20 05:30 (UTC) |
|
lua-sitegen-git
|
r305.3b8eea6-1 |
0 |
0.00
|
Static site generator in MoonScript |
orphan
|
2020-06-20 16:31 (UTC) |
|
telegreat-bin
|
1.9.8-1 |
0 |
0.00
|
Unofficial Telegreat Messaging app - Static binaries |
orphan
|
2020-06-14 13:54 (UTC) |
|
gluon-repl
|
0.15.0-1 |
0 |
0.00
|
REPL for gluon. A static, type inferred programming language for application embedding |
orphan
|
2020-06-10 23:49 (UTC) |
|
bootleg-bin
|
0.1.9-1 |
1 |
0.00
|
Simple template processing command line tool to help build static websites |
ngrunwald
|
2020-05-31 08:27 (UTC) |
|
dg-git
|
a55a4665-1 |
0 |
0.00
|
A program analysis library containing a static backward slicer for LLVM bitcode |
mchalupa
|
2020-05-25 08:40 (UTC) |
|
python2-jedi-git
|
1:v0.17.0.r148.2d672d2f-1 |
8 |
0.00
|
An awesome autocompletion, static analysis and refactoring library for Python |
orphan
|
2020-05-24 19:28 (UTC) |
|
saait-git
|
1:0.7.1.r0.gfd64204-1 |
0 |
0.00
|
The most boring static page generator |
michaelkuc6
|
2020-05-24 13:18 (UTC) |
|
purescript
|
0.13.8-1 |
1 |
0.00
|
A small strongly, statically typed programming language with expressive types, inspired by Haskell and compiling to JavaScript. |
orphan
|
2020-05-24 02:57 (UTC) |
|
mediawiki2latex-bin
|
7.39-1 |
1 |
0.00
|
Mediawiki2latex, convert any mediawiki page to pdf. Arch specific pre-built binary, statically linked. |
vacaniat
|
2020-05-21 21:44 (UTC) |
|
docopt.cpp-static-git
|
0.6.2.r104.42ebcec-1 |
1 |
0.00
|
C++11 port of docopt (with static libraries) |
orphan
|
2020-05-18 07:05 (UTC) |
|
scaffold-static
|
1.8.6-1 |
0 |
0.00
|
Scaffolding utility for vanilla-js |
orphan
|
2020-05-15 02:18 (UTC) |
|
lld7-libs-static
|
7.1.0-2 |
0 |
0.00
|
Static libraries from the linker from the LLVM project. |
MarsSeed
|
2020-05-11 17:01 (UTC) |
|
jbake
|
2.6.4-1 |
0 |
0.00
|
JBake is a Java based, open source, static site/blog generator for developers & designers |
orphan
|
2020-02-25 22:21 (UTC) |
|
v1541commander-nonstatic
|
1.1-1 |
1 |
0.00
|
virtual 1541 disc commander to create and modify d64 images - non static |
cky
|
2020-02-19 21:00 (UTC) |
|
nikola-git
|
8.0.4.r5.gc452d36a8-1 |
7 |
0.00
|
A modular, fast, simple, static website generator. (git version) |
Kwpolska
|
2020-02-18 12:34 (UTC) |
|
monkeytype-git
|
v19.11.2.r3.ga586173-1 |
0 |
0.00
|
Generates static type annotations for Python modules by collecting runtime types |
linkmauve
|
2020-01-28 22:47 (UTC) |
|
apindex
|
2.2-1 |
0 |
0.00
|
Static HTML file index generator for Github Pages |
peeweep
|
2020-01-15 11:03 (UTC) |
|
jolly
|
0.2.0-1 |
0 |
0.00
|
Static image gallery generator. |
prior
|
2019-12-01 21:05 (UTC) |
|
radia
|
4.31-2 |
0 |
0.00
|
Mathematica addon for magnetostatics calculations |
chrisjbillington
|
2019-11-18 15:16 (UTC) |
|
carp-git
|
v0.3.0.r198.g6954642c-1 |
0 |
0.00
|
A statically typed lisp, without a GC, for real-time applications. |
orphan
|
2019-11-13 19:12 (UTC) |
|
xmlcutty-bin
|
0.1.6-1 |
4 |
0.00
|
xmlcutty is a simple tool for carving out elements from large XML files, fast - binary static |
tir
|
2019-08-30 20:42 (UTC) |
|
gdc-static
|
9.1.0-1 |
0 |
0.00
|
Compiler for D programming language which uses gcc backend |
kozzi
|
2019-08-07 12:27 (UTC) |
|
nodejs-http-server-spa
|
1.3.0-1 |
0 |
0.00
|
A small but fast static file server running on node |
igemnace
|
2019-07-27 03:40 (UTC) |
|
adaptativeneuralnetwork
|
0.1.1.5-0 |
1 |
0.00
|
AdaptativeNeuralNetwork : A static library containing multiple neural network models written in C |
cedricfarinazzo
|
2019-06-30 18:51 (UTC) |
|
satysfi-git
|
r2148.e1e0270-1 |
4 |
0.00
|
A statically-typed, functional typesetting system |
taskie
|
2019-06-13 00:15 (UTC) |
|
lua51-luacheck
|
0.23.0-2 |
6 |
0.00
|
A simple static analyzer |
SolarAquarion
|
2019-05-09 16:51 (UTC) |
|
quark-git
|
r100.29d53f6-1 |
3 |
0.00
|
An extremly small and simple http get-only web server. It only serves static pages on a single host. |
mzhao
|
2019-04-26 20:46 (UTC) |
|
eclipse-spotbugs
|
3.1.13-2 |
1 |
0.00
|
SpotBugs plugin for Eclipse IDE to look for bugs in Java programs by static code analysis, a successor of FindBugs. |
Raimar
|
2019-04-25 21:00 (UTC) |
|
pdsite-git
|
latest-1 |
0 |
0.00
|
Pandoc-backed static site generator shell script with precompiled binary dependencies. |
orphan
|
2019-04-22 08:46 (UTC) |
|
mingw-w64-allegro-static-bin
|
5.2.5.1-0 |
0 |
0.00
|
Portable library mainly aimed at video game and multimedia programming. This is statically prebuilt |
orphan
|
2019-03-31 17:34 (UTC) |
|
webdir-git
|
0.1.0.114.gafe24ef-1 |
0 |
0.00
|
A simple asynchronous static file server |
quininer
|
2019-02-12 15:24 (UTC) |
|
hugo-git
|
v0.54.0.r1.g5383fe458c0c-2 |
6 |
0.00
|
Fast and Flexible Static Site Generator in Go |
navigaid
|
2019-02-01 18:02 (UTC) |
|
hdf4-static
|
4.2.14-1 |
1 |
0.00
|
General purpose library and file format for storing scientific data (version including the FORTRAN interfaces) |
orphan
|
2019-01-26 21:34 (UTC) |
|
frink
|
2.2.2-1 |
2 |
0.00
|
Frink is a tcl formatting and static check program. It can prettify your program, minimise, obfuscate or just sanity check it. It can also do some rewriting. |
Geballin
|
2019-01-06 00:40 (UTC) |
|
amdapp-codexl
|
2.6.302-2 |
33 |
0.00
|
AMD CodeXL is an OpenCL, Vulkan and OpenGL Debugger and Profiler, with static OpenCL kernel analyzer. It supports OpenCL 2.0 |
Vi0L0
|
2018-11-12 21:58 (UTC) |
|
nama
|
2.0.6.r0.g75b3809-1 |
2 |
0.00
|
This tool uses nmcli to easily set static ip addresses |
chn555
|
2018-08-01 12:49 (UTC) |
|
stout-bin
|
1.3.2-1 |
1 |
0.00
|
A reliable static website deploy tool |
tomisme
|
2018-06-21 09:01 (UTC) |
|
findbugs-contrib
|
7.4.2-1 |
0 |
0.00
|
A FindBugs/SpotBugs plugin for doing static code analysis for java code bases |
fenuks
|
2018-06-02 06:06 (UTC) |
|
toxcore-static2
|
1:0.2.2-1 |
0 |
0.00
|
Secure, configuration-free, P2P Skype replacement backend |
yatsen71
|
2018-04-21 05:26 (UTC) |
|
mksh-static-git
|
56.r3204.1474437-1 |
1 |
0.06
|
The MirBSD Korn Shell - an enhanced version of the public domain ksh (static build, linked with musl; development version) |
HoaS
|
2018-01-20 13:39 (UTC) |
|
blindelephant-svn
|
7-1 |
5 |
0.00
|
The BlindElephant Web Application Fingerprinter attempts to discover the version of a (known) web application by comparing static files at known locations |
robertfoster
|
2017-11-18 19:06 (UTC) |
|
smatch-git
|
1.60.r997.g6f737e1f-1 |
5 |
0.00
|
A static analysis tool for C. |
aksr
|
2017-11-11 11:26 (UTC) |
|
ceylon
|
1.3.3-1 |
6 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2017-08-22 12:58 (UTC) |
|
tailor
|
0.12.0-1 |
2 |
0.00
|
Cross-platform static analyzer and linter for Swift |
snowdragon
|
2017-05-09 22:53 (UTC) |
|
hets-server-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:09 (UTC) |
|
hets-server
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
|
hets-desktop-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
|
hets-desktop
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:07 (UTC) |