Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Open language model developed by NVIDIA as part of Nemotron-3 family
Model that fuses instruct, reasoning and agentic skills
Building Skills in Programming - Python 2.6
Demonstraton of Python
Computational workflows making by Bulgarian natural language commands.
Low level programming language and compiler
Language learning WebApp
Training Material/code for learning selenium automation using Python
Python Port Scanner For Scanning Open Ports On Server. This tool Written in python language.
social network
A Language Tool module for Gedit
Python Front-end to GCC