Search Results for "python programming language" - Page 43
Sort By:
1095 programs for "python programming language" with 1 filter applied:
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
phi-2
Small, high-performing language model for QA, chat, and code tasks
Phi-2 is a 2.7 billion parameter Transformer model developed by Microsoft, designed for natural language processing and code generation tasks. It was trained on a filtered dataset of high-quality web content and synthetic NLP texts created by GPT-3.5, totaling 1.4 trillion tokens. Phi-2 excels in benchmarks for common sense, language understanding, and logical reasoning, outperforming most models under 13B parameters despite not being instruction-tuned or aligned via RLHF. It performs best... -
2
GPT-2
GPT-2 is a 124M parameter English language model for text generation
GPT-2 is a pretrained transformer-based language model developed by OpenAI for generating natural language text. Trained on 40GB of internet data from outbound Reddit links (excluding Wikipedia), it uses causal language modeling to predict the next token in a sequence. The model was trained without human labels and learns representations of English that support text generation, feature extraction, and fine-tuning. GPT-2 uses a byte-level BPE tokenizer with a vocabulary of 50,257 and handles... -
3
PyLit (Python-Literate) provides a plain but efficient tool for literate programming: a translator between a *text source* (reStructuredText_ with embedded code blocks) and a *code source* (source code with comment blocks).
-
4
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes... -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
5
Think REST with any language, PHP / Python / C / C++ and others, this is a easy-use web framework, include: Cache Manage, Status Manage, URL Manage, Remote Access API, Different Language Access Layer
-
6
Blender HW Project
Create a hardware front end for Blender UI and gaming engine.
This project aims to develope the Python code necessary to enable external PC hardware to connect to the Blender UI and Gaming engine. This project currently requires schematic design, hardware design, python programming of Serial Ports through pyserial, knowledge of the Blender API, and knowledge of the FTDI Chip. This project will not seek funding until a proof of concept is documented with code and hardware designs available through this project. This project will be soon seeking... -
7
The PyQt4D (Python Qt for Designer) is an Open Source Project making Qt Designer full-featured RAD (Rapid Application Development) tool to develop data-aware two- or multi-tier applications using Python language and Qt library.
-
8
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. -
9
one type of dynamic language whos backgrouand virtual machine is base on S-expression, just as lisp a looks like. and the idea of the forgrand of snail comes from python mainly, and some from java.
-
Picsart Enterprise Background Removal API for Stunning eCommerce VisualsWith our Remove Background API tool, you can access the transformative capabilities of automation , which will allow you to turn any photo asset into compelling product imagery. With elevated visuals quality on your digital platforms, you can captivate your audience, and therefore achieve higher engagement and sales.
-
10
OpenVLA 7B
Vision-language-action model for robot control via images and text
OpenVLA 7B is a multimodal vision-language-action model trained on 970,000 robot manipulation episodes from the Open X-Embodiment dataset. It takes camera images and natural language instructions as input and outputs normalized 7-DoF robot actions, enabling control of multiple robot types across various domains. Built on top of LLaMA-2 and DINOv2/SigLIP visual backbones, it allows both zero-shot inference for known robot setups and parameter-efficient fine-tuning for new domains. The model... -
11
easyMacro is a handy tool to build text editing macros. It is available whether you are using your favourite text editor, email client, web browser, and so on. easyMacro allow you script in Python, a powerful, open source scripting language.
-
12
Free Chess is a free, open source GPL licensed WebChess game. We have discarded the original codebase, and we will be re-factoring this project entirely from scratch. Parts of this project will also use Python language for some of the underlying core code
-
13
-
14
Code Poet is an Integrated Development Environment for compiled languages, but primarily aimed at the D programming language. It is written in C++ using wxWidgets and boost.
-
15
Adapt is data conversion language developped in 1984 by Norman W. Molhant and Christophe Dupriez. It has been used in many circumstances, it translated itself in many programming environment and it should evolve now toward modern environments like Java.
-
16
ddreditor (Digital Didatic Resource Editor) is a editor of Digital Didatic Resources (learning objects and more). It is implemented using Python and it´s GTK bindings and uses a docbook substed as it´s markup language.
-
17
The main goal of BASIC foundry on SourceForge is to gather all developers that works something related to BASIC programming language in order to help creation of fast, stable, cross-platform, OPEN SOURCE BASIC compiler.
-
18
Rock: Crashed Plane (R2) (http://www.dillfrog.com/games/r2/) is an open source multi-user dungeon (dimension, or sometimes domain) coded in the perl programming language and licensed under the GNU General Public License. The majority of the code was open-sourced as a courtesy when the original server was taken offline. The codebase is largely abandoned, and has not been updated to follow best practices. Use with caution.
-
19
PAGEB is an easy to use tool to create videogames. With PAGEB is not necessary to known any programming language, nor to master complex game development techniques, to create high quality games. All you need is a good game idea and time to develope it.
-
20
Sharp View
Very lightweight and minimalistic python browser with webkit
... to the source code. The code will be extensively commented and written in a simple language (python) to allow easy modification. It is intended for advanced users and developers to experiment with an open browser to add their own features. Do note that the browser is minimalistic. This means that some features that the author considers to be "bloated", like mouse gestures, long configurations, etc. will not be supported (but can be made by you). This software is licensed under the GPLv3 -
21
DeepSeek-R1-0528
DeepSeek-R1-0528 is a powerful reasoning-focused LLM with 64K context
DeepSeek-R1-0528 is an upgraded large language model developed by DeepSeek AI, designed to improve deep reasoning, inference, and programming capabilities. With a context length of up to 64K tokens and 685 billion parameters, it introduces enhanced algorithmic optimizations and expanded token usage per task. Compared to previous versions, it significantly improves benchmark scores in math (e.g., AIME 2025: 87.5%), logic, and coding tasks like LiveCodeBench and SWE Verified. It supports system... -
22
Devstral
Agentic 24B LLM optimized for coding tasks with 128k context support
..., compatible with frameworks like vLLM, Transformers, llama.cpp, and Ollama. It is licensed under Apache 2.0 and is fully open for commercial and non-commercial use. Its Tekken tokenizer allows a 131k vocabulary size for high flexibility in programming languages and natural language inputs. Devstral is the preferred backend for OpenHands, where it acts as the reasoning engine for autonomous code agents. -
23
ERNIE-4.5-300B-A47B-FP8-Paddle
ERNIE 4.5 MoE model in FP8 for efficient high-performance inference
ERNIE-4.5-300B-A47B-FP8-Paddle is a quantized version of Baidu’s MoE large language model, post-trained for text generation tasks and optimized for FP8 precision. This variant retains the original’s 300 billion total parameters with 47 billion active per token, enabling powerful language understanding while dramatically improving inference efficiency. Built using PaddlePaddle, it supports multi-GPU distributed deployment and leverages advanced routing strategies and expert parallelism... -
24
DeepSeek-V3-0324
Advanced multilingual LLM with enhanced reasoning and code generation
DeepSeek-V3-0324 is a powerful large language model by DeepSeek AI that significantly enhances performance over its predecessor, especially in reasoning, programming, and Chinese language tasks. It achieves major benchmark improvements, such as +5.3 on MMLU-Pro and +19.8 on AIME, and delivers more executable, aesthetically improved front-end code. Its Chinese writing and search-answering capabilities have also been refined, generating more fluent, contextually aware long-form outputs. Key... -
25
Control-Freak
Visual Automation & UI Authoring
This is a general purpose tool optimized for managing, programming and automating machines, services and apps or just loose parts of code snippets. It comes with a visual block language and a visual GUI designer which lets you inter connect and automate all sorts of devices. It has built-in support for TCP, UDP, Serial, MQTT, SSH, Arduino/Raspberry-PI or access to your custom API via HTTP. Public Homepage: http://pearls-media.com/control-freak/ On Github: https://github.com/net...
