26 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
beyondallreason-appimage 1.2988.0-1 16 2.69 The latest release of BYAR-Chobby, the launcher for Beyond All Reason - An open source RTS game built on top of the Spring RTS Engine Deinara 2024-03-04 11:10 (UTC)
python-langchain 0.1.16-1 1 0.28 Build context-aware reasoning applications huyz 2024-04-12 05:00 (UTC)
python-tensorflow-probability 0.24.0-1 5 0.16 Probabilistic reasoning and statistical analysis in TensorFlow oysstu 2024-03-13 12:53 (UTC)
python2-pbr 6.0.0-1 3 0.06 Python Build Reasonableness (for Python 2) hexd 2024-02-05 04:17 (UTC)
pachi 12.84-1 8 0.03 A reasonably strong engine for the board game go tegularius 2024-01-11 18:32 (UTC)
reason-language-server 1.7.10-1 4 0.00 A language server for reason, in reason Taylon 2020-08-01 23:29 (UTC)
r-vader 0.2.1-2 1 0.00 Valence Aware Dictionary and sEntiment Reasoner (VADER) AlexBocken 2023-08-03 08:47 (UTC)
esy 0.7.2-1 8 0.00 package manager for OCaml/Reason megapoliss 2024-02-14 13:24 (UTC)
vim_cubed-git r0.0-1 1 0.00 Vim rendered on a cube for no reason bin 2022-08-15 05:03 (UTC)
utterly-nord-plasma 2.1-3 0 0.00 A Global theme for Plasma 5 with transparency, blur, rounded edges for window borders and widgets, Nord Color Palette and inspired wallpaper and a reasonable desktop layout with a top panel, dock and a Android 12 like clock widget. xythrez 2024-03-07 22:36 (UTC)
reason 0.3.6-1 0 0.00 A shell for research papers grawlinson 2022-11-18 06:23 (UTC)
r-carnival 2.12.0-1 0 0.00 A CAusal Reasoning tool for Network Identification (from gene expression data) using Integer VALue programming BioArchLinuxBot 2023-10-25 23:46 (UTC)
qt-solutions-git 55.2fb541e-1 13 0.00 Components from the discontinued Qt Solutions product, a collection of minor Qt add-ons and former Qt modules which for various reasons have been pruned from Qt itself. (GIT version) sl1pkn07 2022-04-07 19:43 (UTC)
python2-socksipy-branch-1.01 1.01-1 0 0.00 Version 1.01 of SocksiPy, for compatibility reasons. dreieck 2018-11-28 18:35 (UTC)
python-vadersentiment 3.3.2-4 0 0.00 VADER (Valence Aware Dictionary and sEntiment Reasoner) peippo 2023-05-23 08:56 (UTC)
python-tensorflow-probability-git r12127.51f1ed39e-2 0 0.00 Probabilistic reasoning and statistical analysis in TensorFlow piernov 2024-04-01 20:51 (UTC)
python-numpysane 0.40-1 0 0.00 More reasonable core functionality for numpy 0e4ef622 2024-03-31 14:48 (UTC)
python-langtable 0.0.51-1 1 0.00 Guessing reasonable defaults for locale, keyboard layout, territory, and language. kirek 2020-04-26 08:14 (UTC)
python-archspec 0.2.1-1 0 0.00 A library for detecting, labeling, and reasoning about microarchitectures arielzn 2023-10-02 10:39 (UTC)
pellet 20150814.bb99c19-2 1 0.00 Pellet is an OWL 2 reasoner in Java eugenk 2016-03-14 10:18 (UTC)
literm-git 0.0.263-1 0 0.00 literm is a terminal emulator: the design goal is to be simplistic while still providing a reasonable amount of features. sirspudd 2017-06-15 22:04 (UTC)
jamestown-gtp 1.0.2-1 0 0.00 Gunpower, Treason, & Plot: DLC for a neo-classical top-down shooter (DLC sold separately) ejona86 2015-06-20 16:13 (UTC)
imibrowser 14.5.4751-2 0 0.00 iReasoning Freeware MIB browser tool for SNMP API nikost74 2024-04-25 14:35 (UTC)
errbot 6.1.7-1 0 0.00 a chatbot. It allows you to start scripts interactively from your chatrooms for any reason: random humour, chatops, starting a build, monitoring commits, triggering alerts... orphan 2021-02-13 18:02 (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)
beluga-git v0.8.1.r190.3d50c74-1 2 0.00 Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. tsani 2016-02-16 05:45 (UTC)

26 packages found. Page 1 of 1.