Search Results for "python code generator"

This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively.

...Sparkmagic interacts with remote Spark clusters through a REST server. Automatic visualization of SQL queries in the PySpark, Spark and SparkR kernels; use an easy visual interface to interactively construct visualizations, no code required. Ability to capture the output of SQL queries as Pandas dataframes to interact with other Python libraries (e.g. matplotlib). Send local files or dataframes to a remote cluster (e.g. sending pretrained local ML model straight to the Spark cluster) Authenticate to Livy via Basic Access authentication or via Kerberos.

Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.

HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand. HelenOS...

...The advantages of PRTOS are: It has the smallest footprint of any true preemptive system: 1.9kB for basic scheduling and task control, 5.1kB with all the features below (AVR '328 / gcc -Os); Only 950 lines of code implement all of the RTOS features (SLOC-L); The system is well documented with a comprehensive manual, well-commented source code, and a test suite demonstrating the features; The system is proven - it has been in use since 1982 with applications in in-vitro medical equipment, process control instrumentation and industrial machinery; PRTOS is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative RTOS https://sourceforge.net/projects/cortos-simple/ and the CTREE analysis tool https://sourceforge.net/projects/ctree-graphic-tree-generator/ Commercial licensing is available

The blocksparse repository provides efficient GPU kernels (TensorFlow custom ops) for block-sparse matrix multiplication and convolution operations. The idea is to exploit block-level sparsity — i.e. treat matrices or weight tensors as composed of blocks, many of which may be zero or unused — to save compute and memory when sparsity patterns are structured. This is particularly useful in models like Sparse Transformers, where attention matrices or intermediate layers may adopt block-sparse...

This is the fifth or sixth generation of this idea, the big difference being that we have written some bootloader code and have started mapping out the kernel layout and structure. We have decided upon a core programming language for the kernel, and the core language for almost everything else. With a focus on isolating the MAJOR kernel features from the system itself, in what until now has remained research only instances, we hope to create a fully functioning exokerne. All code at...

FreeOS/1 is a Free, Open Source, FreeDOS based Free and Open Source Alternative OS, with open source Microsoft Windows compatibility using HXDOSExtender KernelEx,and ReactOS source code. FreeOS/1 will include new technologies and will be easy to use

Boiler-template (source) file generator. Automates (source) file generation from template files: speeds up developement of redundant or re-usable software and more. An example template for Linux Kernel Device Drivers generation, is included.