|
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) |
|
skf-framework
|
99.886346e-1 |
0 |
0.00
|
Plugin-based static website generator inspired by Suckless Web Framework |
moebius_eye
|
2017-01-08 14:14 (UTC) |
|
osvr-libfunctionality-git
|
v0.1.r29.g3c8b1e4-1 |
10 |
0.00
|
A minimal library for dynamically-loaded or statically-linked functionality modules. |
haagch
|
2016-10-24 19:58 (UTC) |
|
sift-bin
|
0.9.0-1 |
9 |
0.00
|
A fast and powerful open source alternative to grep - Static binary |
orphan
|
2016-10-24 13:32 (UTC) |
|
avahi-static-services
|
1-1 |
0 |
0.00
|
Configuration to advertise SSH & SFTP via Avahi |
grawity
|
2016-08-22 15:11 (UTC) |
|
nemerle
|
1.2.507.0-1 |
8 |
0.00
|
A high-level statically-typed programming language for the .NET platform. |
soimort
|
2016-08-10 11:17 (UTC) |
|
gnome-shell-theme-elegance-orange-git
|
10-3 |
3 |
0.00
|
A static orange shell theme based on Elegance Colors |
orphan
|
2016-08-03 18:36 (UTC) |
|
fbx-conv-git
|
r187.2be464f-1 |
5 |
0.00
|
Command line utility using the FBX SDK to convert FBX/Collada/Obj files to a custom text/binary format for static, keyframed and skinned meshes. |
orphan
|
2016-07-30 17:02 (UTC) |
|
cflint-git
|
20160522.-1 |
0 |
0.00
|
A static code analysis tool for ColdFusion - dev branch |
jphustman
|
2016-05-25 18:03 (UTC) |
|
cflint
|
20160522.562-1 |
0 |
0.00
|
A static code analysis tool for ColdFusion - git branch |
jphustman
|
2016-05-25 17:59 (UTC) |
|
oclint-json-compilation-database-git
|
v0.7.15.g5ea3389-1 |
0 |
0.00
|
A helper program that filters information from compile_command.json and invoke OCLint for static code analysis |
mlq
|
2016-05-03 17:47 (UTC) |
|
oclint-json-compilation-database
|
0.7-1 |
0 |
0.00
|
A helper program that filters information from compile_command.json and invoke OCLint for static code analysis |
mlq
|
2016-05-03 17:42 (UTC) |
|
plastimatch-static
|
1.6.2-1 |
0 |
0.00
|
Tools for medical image reconstruction and registration. |
h4l
|
2015-12-12 12:06 (UTC) |
|
ceylon-git
|
master-1 |
2 |
0.00
|
A powerful statically typed language for writing large programs in groups |
ASzc
|
2015-11-25 17:49 (UTC) |
|
lambdapad-git
|
117.684a5a9-1 |
2 |
0.00
|
Static site generator using Erlang. Yes, Erlang. |
winlu
|
2015-10-29 10:42 (UTC) |
|
sparse-git
|
0.5.0.r44.g40791b9-1 |
1 |
0.00
|
A semantic parser for C, parsing most of ANSI C as well as many GCC extensions, [also] including a static analyzer. |
aksr
|
2015-10-19 17:52 (UTC) |
|
jekyll-helper-git
|
0-1 |
5 |
0.00
|
A GUI for the static website generator Jekyll. |
ExcaliburZero
|
2015-09-08 19:18 (UTC) |
|
django-lint
|
1-1 |
0 |
0.00
|
A static analysis tool for Django projects. |
AeroNotix
|
2015-09-02 16:31 (UTC) |
|
nicstat
|
1.95-1 |
6 |
0.00
|
Network traffic statics utility |
dracorp
|
2015-08-11 20:52 (UTC) |
|
archlinux-static-ip
|
0.0.1-1 |
0 |
0.00
|
Make ArchLinux ready for a static IP setup |
malte70
|
2015-06-22 11:46 (UTC) |
|
scholdoc-static-bin
|
0.1.3-1 |
0 |
0.00
|
Conversion between markup formats including ScholarlyMarkdown (no Haskell libraries) |
dumblob
|
2015-06-13 20:46 (UTC) |
|
konoha
|
1.0.0.952-1 |
1 |
0.00
|
A high speed static scripting language. |
keenerd
|
2015-06-13 04:18 (UTC) |
|
nib-git
|
20131014-1 |
0 |
0.00
|
static site generator |
orphan
|
2015-06-11 21:35 (UTC) |
|
frame3dd
|
0.20140514plus-1 |
2 |
0.00
|
Free open-source software for static and dynamic structural analysis of 2D and 3D frames and trusses. |
Srf_rs
|
2015-06-09 01:09 (UTC) |