python3-flask-appbuilder
simple and rapid application development framework (Python 3)
Simple and rapid application development framework, built on top of Flask.
includes detailed security, auto CRUD generation for your models, google
charts and much more. Extensive configuration of all functionality, easily
integrate with normal Flask/Jinja2 development.
gir1.2-rest-1.0
REST service access library (introspection files)
This library was designed to make it easier to access web services that
claim to be "RESTful". It includes convenience wrappers for libsoup and
libxml to ease remote use of the RESTful API.
libcoq-mathcomp-classical
classical logic extension for Mathematical Components
This package provides an extension for work with classical logic
within the Coq proof-assistant using the Mathematical Components
library.
linux-support-6.12.3
Support files for Linux 6.12
This package provides support files for the Linux kernel build, e.g.
scripts to handle ABI information and for generation of build system meta
data.
vim-ocaml-merlin
editor service to develop in OCaml (vim files)
This package provides an editor service for advanced
integrated development environment (IDE) in the OCaml
language both for the vim and emacs editors.
ocaml-merlin
editor service to develop in OCaml (common files)
This package provides an editor service for advanced
integrated development environment (IDE) in the OCaml
language both for the vim and emacs editors.