Showing 1814 open source projects for "source code viewer"

View related business solutions
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1
    This is an open source state machine template for C++. Initially FSM support will be given. The purpose is to facilitate developers to create state machine based C++ applications easily.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    This Meshula Kernel contains a reactive AI core, a high quality physics simulator, a math library, and assorted utility routines
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Leanstral

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Luna Code Checker

    Luna Code Checker

    An advanced web-based tool for checking JavaScript code using ESLint.

    Luna Code Checker An advanced web-based tool for checking JavaScript code using ESLint. How to Use Clone the repository. Run npm install to install the dependencies. Run npm start to start the server. Open http://localhost:3000 in your web browser. Write or paste your JavaScript code in the textarea. Click the "Check Code" button to see linting results.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 5
    Kimi K2.7 Code

    Kimi K2.7 Code

    Coding-focused Kimi model for long-horizon agent workflows

    Kimi K2.7 Code is a coding-focused agentic model built on Kimi K2.6, designed for long-horizon software engineering, autonomous coding workflows, and complex tool-based execution. It improves end-to-end task completion across real-world programming scenarios while reducing thinking-token usage by about 30% compared with K2.6. Architecturally, it uses a 1T-parameter Mixture-of-Experts design with 32B activated parameters, 61 layers, 384 experts, a 256K-token context window, and a MoonViT...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Klapperen Chatbot

    A light weight chatbot by ultrazoid_

    Klapperen is a light weight chatbot being developed by ultrazoid_ as a side project to his larger ones. The source code can be found on the Project's github page
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Monk Computer Vision

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Source Code for projects made at AAU Copenhagen.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Improvements to the CMU k-means code to include pairwise constraints.
    Downloads: 0 This Week
    Last Update:
    See Project
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 10
    Hy3

    Hy3

    Open code agent for Lean 4 proofs and formal software verification

    Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Leanstral 1.5

    Leanstral 1.5

    Open code agent for Lean 4 proofs and formal software verification

    Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Mellum-4b-base

    Mellum-4b-base

    JetBrains’ 4B parameter code model for completions

    Mellum-4b-base is JetBrains’ first open-source large language model designed and optimized for code-related tasks. Built with 4 billion parameters and a LLaMA-style architecture, it was trained on over 4.2 trillion tokens across multiple programming languages, including datasets such as The Stack, StarCoder, and CommitPack. With a context window of 8,192 tokens, it excels at code completion, fill-in-the-middle tasks, and intelligent code suggestions for professional developer tools and IDEs. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    OlsenRoutes is a software environment with a powerful difference. It provides online users with a library of statistical tools and access to Olsen's database (1985 through today) of tick-by-tick foreign exchange trading prices.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Ztooly

    Ztooly is a comprehensive collection of 50+ free online tools designed

    Ztooly is a comprehensive collection of 50+ free online tools designed to boost productivity and simplify everyday tasks. From AI-powered generators to image editing, data conversion, PDF handling, social tools, and more — Ztooly is your all-in-one web toolkit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Matlab and Octave code to fit a mixture of Gaussians with covariance regularization to data using EM update rules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Autonomous vehicle code that does navigation using both dead-reckoning techniques and gps. The development platform is a 1/18th scale r/c truck.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Postproxy-MCP

    Postproxy-MCP

    MCP (Model Context Protocol) server for integrating PostProxy API

    PostProxy MCP is a Model Context Protocol (MCP) server that integrates the PostProxy API directly into Claude Code, enabling AI-assisted publishing to social media platforms like Instagram, YouTube, TikTok, Facebook, LinkedIn, X/Twitter, and Threads.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    LocalLLM Studio

    LocalLLM Studio

    Chat with local GGUF LLMs on your own machine

    ...localllm-studio 1.0.5 v1.0.5 Aug 20, 2026 Windows: double-click the -Setup.exe to install. Authenticode-signed with the Dosvak LLC EV code-signing certificate (Sectigo Public Code Signi Built entirely by AI. Source: https://github.com/quickpod/localllm-studio
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Framework for modelling of Natural General Intelligence. This project aims at creation of open source AGI (Artificial General Intelligence) through modelling of natural thinking. See http://roland.pri.ee/bakalaureusetoo/ for theoretical details.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    Green Tara's OO jDREW

    Mirror of Green Tara's OO jDREW fork on Bitbucket

    This is a mirror site for downloads and forks. There is no documentation or issue tracking here. Please see the code issue tracking system on Bitbucket at https://bitbucket.org/taraathan/oojdrew
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    SCULT-TOOLS

    SCULT-TOOLS

    15 free tools, 1000+ prompt, Skills for People No signup, no limits.

    ...No account, no watermark, no credit limits, no data leaving your browser. There's also a library of 1000+ AI prompts & Skills organised by role. SEO · Marketing · Developer Tools · Productivity · Design Tools · No-Code · Web App · Open Source Alternatives · Writing · Analytics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    OmniDJ

    OmniDJ

    OmniDJ base project repository

    OmniDJ main public repository This repository contains the following main items: The SotA face recognition engine including facial feature analysis based on : FaceNet - the actual SotA analysis from Deep Face Recognition: A Survey The neural style augmentation of video streams based on Neural Style Transfer: A Review The image augmentation appraoch based on Deep Dream The provided source code is published open-source under Creative Commons. OmniDJ project is financed based on Operational Program for Competitiveness, axis 2.2.1, financing contract 117046/25.05.2017
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Generic engine to filter information. We wish to show that the power of expression of a filter makes it possible to appreciably reduce the size of the code necessary to extract information and that it is possible in Python.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Synesketch is a software library with synesthetic abilities, made for Processing digital artists. Its code serves as a medium between words, emotions, and images. Synesketch homepage: http://synesketch.krcadinac.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    using simple cuboids and gjk algorithm, this general purpose algorithm gives a ready made code to work with swissranger 3D camera.
    Downloads: 0 This Week
    Last Update:
    See Project