Search Results for "columba source code" - Page 95
Sort By:
Showing 2428 open source projects for "columba source code"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction... -
2
Library for parsing and editing python source code in form of tree. (this tree is very similar to syntax tree, but nodes are commands. Above this library will be build simple editor in wxPython.
-
3
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.
-
4
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
This is project is a refactoring assistant kit. It intends to provide tools and script to help refactor C++ code, replacing our usual search'n'replace by providing some rough code analysis and IDE specific plug-ins for integration.
-
6
A set of scripts, based around doctest, for performing regression testing & code coverage analysis on Python modules.
-
7
iSDocMan
A source-code documentation manager.
iSDocMan is a source-code documentation manager which allows the programmer to documentate it's program within the source-code and then extract and organize the documentation information. -
8
-
9
A bridge between Ruby and Python, which allows use of Ruby objects from Python code and Python objects from Ruby code.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Think Python
Think Python is an interactive online learning environment for Python.
Think Python intends to be an interactive online learning environment for Python. It consists of two parts: A small IDE which is able to run your Python code in the browser without installing any plugins and an interactive training system which can contain explainations, questions and practical tasks. -
11
PySourceO is a revolutionary source code generator. All that is needed to make a program is to type in what program you want and PySourceO will give you a fully working program that fits your needs. We are creating a new algorithm for PySourceO.
-
12
This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.
-
13
-
14
Underpin is a simple command line utility written in Python that allows developers to generate new projects from customizable templates.
-
15
ufo-daily
Repository for the website ufo-daily.com
www.ufo-daily.com is a website for the discussion and debate of UFO's. The code for the website is fully open-source and this repository is the central source for that code. -
16
-
17
AlluraSkel
Allura Tool Skeletons
Grab this to try your hand at developing a tool for Allura. Currently supports: - python package setup - simple per-project-installable Tool - simple Ming/MongoDB model - simple TurboGears Controllers - simple Jinja templates -
18
A Python-based macro processing tool to extend C-like languages with DSLs. MP reduces the amount of work necessary to extend C by extracting the relevant blocks to process and calling user-supplied Python functions to handle the macro.
-
19
Monk Computer Vision
A low code unified framework for computer vision and deep learning
Monk is an open source low code programming environment to reduce the cognitive load faced by entry level programmers while catering to the needs of Expert Deep Learning engineers. There are three libraries in this opensource set. - Monk Classiciation- https://monkai.org. A Unified wrapper over major deep learning frameworks. Our core focus area is at the intersection of Computer Vision and Deep Learning algorithms -
20
Binconv is a Python script as a template-based binary file converter. It can help to convert binary files into any text-based files which can be represented by Mako template engine. The collection of template can make this tool adaptable to many project.
-
21
Pyhew is a web framework written in python aiming to ease the web development with python. Based on frameworks like smarty and php2go. Provides a Templating system, forms (with xml for html and validation), url routing and more.
-
22
-
23
Monarc is an experimental and progressive operating system kernel; featuring modern architecture, clean code, and flexible structure.
-
24
-
25
OCFit
Python package for fitting of O-C diagrams.
...For install it, download/clone this repository or download suitable binary file from releases. Not working yet! The first release comming soon... Requirements numpy matplotlib PyAstronomy pymc Installation is possible from source code or using build installation binary file (only for OS Windows). The following procedure is only for installation from the source code. Extract files and go to new-created folder. Running script setup.py the installation will be done: python setup.py install
