postgres-decoderbufs
|
1.7.0-1 |
0 |
0.00
|
A PostgreSQL logical decoder output plugin to deliver data as Protocol Buffers, adapted for Debezium |
k0ste
|
2021-10-01 13:44 (UTC) |
tang-dynasty
|
5.0.3_30786-1 |
1 |
0.00
|
Tang Dynasty IDE for Anlogic FPGAs |
caylin
|
2021-09-24 07:11 (UTC) |
scanastudio
|
4.0.19-1 |
1 |
0.00
|
ScanaStudio is a software for Ikalogic logic analyzers |
mruslan
|
2021-09-21 13:42 (UTC) |
wmcpuwatch
|
0.2-2 |
2 |
0.00
|
A dockapp to show the load of every logical CPU on the system |
bidulock
|
2021-09-21 05:49 (UTC) |
seqan
|
2.4.0-1 |
5 |
0.00
|
SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of sequences with the focus on biological data |
kleintux
|
2021-09-17 10:30 (UTC) |
eqp
|
09e-3 |
0 |
0.00
|
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
2021-08-12 20:49 (UTC) |
ruby-dry-logic
|
1.2.0-1 |
0 |
0.00
|
Predicate logic with rule composition |
orphan
|
2021-08-01 00:55 (UTC) |
nonograms-katana-nativefier
|
1.0-1 |
0 |
0.00
|
A nodejs nativefier client for Nonograms Katana, a logic puzzle game developed and published by ucdevs. |
29ggf
|
2021-07-10 20:32 (UTC) |
boolr
|
v1.0.3-2 |
6 |
0.00
|
A digital logic simulator |
MarsSeed
|
2021-06-18 20:24 (UTC) |
apertium-szl
|
0.1.0-1 |
0 |
0.00
|
Silesian morphological dictionary for apertium |
kruzah
|
2021-05-21 08:10 (UTC) |
apertium-fin
|
0.0.2-1 |
0 |
0.00
|
Finnish monolingual data and morphological analyser-generator for apertium |
kruzah
|
2021-05-20 22:28 (UTC) |
juman++
|
1.02-1 |
0 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:52 (UTC) |
juman
|
7.01-2 |
2 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:16 (UTC) |
twelf
|
1.7.1-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-05-07 15:34 (UTC) |
sis
|
1.4-1 |
0 |
0.00
|
Legacy Logic Synthesis Software |
lotation
|
2021-05-07 12:52 (UTC) |
prover9
|
2009.11A-3 |
8 |
0.00
|
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
2021-04-25 10:51 (UTC) |
python-topylogic
|
1.4.4-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-29 02:53 (UTC) |
topologic-parse-git
|
1.1.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-26 16:21 (UTC) |
topologic-git
|
1.3.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-25 14:23 (UTC) |
gog-darkest-dungeon
|
24839-1 |
2 |
0.00
|
Darkest Dungeon is a challenging gothic roguelike turn-based RPG about the psychological stresses of adventuring. |
bwrsandman
|
2021-03-21 15:12 (UTC) |
gdevelop-git
|
v5.0.0.beta106.r10.g35bf3861a-1 |
5 |
0.00
|
A full featured, open source game development software, allowing to create HTML5 and native games without knowing a programming language. All the game logic is made thanks to an intuitive and powerful event based system. |
arthuro555
|
2021-03-20 16:57 (UTC) |
python-meteocalc
|
1.1.0-1 |
1 |
0.00
|
Several functions for calculation of meteorological variables: dew point, heat index, wind chill, feels like temperature. |
orphan
|
2021-01-25 11:43 (UTC) |
twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (UTC) |
python-giotto-tda
|
0.4.0-0 |
0 |
0.00
|
A high performance topological machine learning toolbox in Python |
orphan
|
2021-01-21 11:18 (UTC) |
spin-git
|
6.5.2.r23.g6651f97-1 |
0 |
0.00
|
Explicit state logic model checking tool |
kyechou
|
2020-12-24 18:20 (UTC) |
ttf-ecofont-sans
|
2.04-1 |
0 |
0.00
|
Ecologically friendly sans font |
orphan
|
2020-12-09 18:26 (UTC) |
sfst
|
1.4.7e-2 |
0 |
0.00
|
Toolbox for the implementation of morphological analyzers and other tools. |
hansolo
|
2020-12-01 14:36 (UTC) |
berusky2-data
|
0.12-3 |
5 |
0.00
|
A logic game based on the puzzle game Sokoban (Data files). |
SanskritFritz
|
2020-11-30 21:01 (UTC) |
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (UTC) |
berusky
|
1.7.2-1 |
14 |
0.00
|
A logic game based on the puzzle game Sokoban |
SanskritFritz
|
2020-11-28 20:46 (UTC) |
berusky2
|
0.12-1 |
6 |
0.00
|
A logic game based on the puzzle game Sokoban. |
SanskritFritz
|
2020-11-27 13:14 (UTC) |
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20:37 (UTC) |
morfeusz2-bin
|
1.9.16-1 |
0 |
0.00
|
Morphological analyser Morfeusz, binary version |
orphan
|
2020-11-25 13:11 (UTC) |
python-litescope-git
|
2020.08.r10.g94e2d15-1 |
0 |
0.00
|
A small footprint and configurable embedded logic analyzer for LiteX |
xiretza
|
2020-11-17 11:40 (UTC) |
python-biom-format
|
2.1.8-1 |
0 |
0.00
|
The Biological Observation Matrix (BIOM) Format Project |
orphan
|
2020-11-01 12:17 (UTC) |
pk2-la-svn
|
16-5 |
4 |
0.00
|
Program to use the Microchip PICkit 2 has as a logic analyzer and I/O probe |
mauritiusdadd
|
2020-09-10 08:33 (UTC) |
sudoku-solver-git
|
v1.0.0.r0.gb4bec10-1 |
0 |
0.00
|
Contains several logical methods of solving, as well as brute force selection |
orphan
|
2020-07-28 20:29 (UTC) |
python-g2p-blocks-git
|
167-3 |
2 |
0.00
|
Enable bcache or LVM on existing block devices. Convert between raw partitions, logical volumes, and bcache devices witout moving data. |
chris_l
|
2020-07-26 09:02 (UTC) |
libsigrok-git
|
0.2.1.r3652.g025bd56f-1 |
14 |
0.28
|
Client software that supports various hardware logic analyzers, core library (git version) |
codyps
|
2020-07-13 17:51 (UTC) |
jsimugate
|
0.70-1 |
0 |
0.00
|
Simulate standard logic and more |
orphan
|
2020-06-22 15:35 (UTC) |
beagle-logic-firmware-git
|
r216.c52845a-1 |
0 |
0.00
|
A logic analyzer for the PRUs on the BeagleBone / BeagleBone Black |
MarsSeed
|
2020-06-21 15:27 (UTC) |
quicklogic-fpga-toolchain-bin
|
0.1.0-1 |
0 |
0.00
|
SymbiFlow variant provided as QuickLogic's vendor toolchain |
ktemkin
|
2020-06-09 03:46 (UTC) |
sigrok-firmware-saleae-logic
|
1.2.10-1 |
2 |
0.00
|
Firmware and FPGA bitstream binaries for Saleae Logic (Pro) devices used with Sigrok. |
samekh
|
2020-05-19 18:51 (UTC) |
logisim-ita-bin
|
2.16.1.2-1 |
1 |
0.00
|
An educational tool for designing and simulating digital logic circuits (Italian fork) |
maniacata
|
2020-05-19 00:03 (UTC) |
scrm
|
1.7.4-1 |
0 |
0.00
|
A Coalescent Simulator for Genome-Scale Biological Sequences |
orphan
|
2020-05-15 02:30 (UTC) |
logisim
|
2.7.1-7 |
84 |
0.91
|
An educational tool for designing and simulating digital logic circuits |
gabry3795
|
2020-04-19 19:53 (UTC) |
espresso-logic
|
1.1.1-1 |
3 |
0.00
|
The espresso PLA logic minimization program |
orphan
|
2020-04-11 03:04 (UTC) |
turtl-core-rs
|
0.1.2-5 |
1 |
0.00
|
Turtl's logic core, built in Rust |
neoninteger
|
2020-03-12 11:44 (UTC) |
abc-git
|
1.01-1 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
orphan
|
2019-09-05 21:48 (UTC) |
carl-master14-git
|
c++14.18.12.r9.gb9ff46d9-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library (master14 branch) |
volkm
|
2019-08-28 13:17 (UTC) |