Search Results for "c source code" - Page 41
Sort By:
1046 projects for "c source code" with 2 filters applied:
-
$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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
This intends to be the combination of the best things on the best RTS games me and my pals have played overtime. The A.I. will also be special, very human.
-
2
The ROSETTA C++ library is a collection of C++ classes and routines that enable discernibility-based empirical modelling and data mining. Comprises useful routines for machine learning in general and for rough set theory in particular.
-
3
An OpenGL simulation of artificial life and artificial evolution using neural networks and genetic algorithms based on Larry Yaeger's PolyWorld.
-
4
ALICE utilizes AIML (Artificial Intelligence Markup Language) to form responses to your questions and inputs. Unlike other commercial chat robot software costing thousands of dollars, ALICE is freely available under the terms of the GNU Public License
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
5
This Meshula Kernel contains a reactive AI core, a high quality physics simulator, a math library, and assorted utility routines
-
6
-
7
A C++ port (a redesign implementation actually) of the CLIPS expert system . This will be done along the lines of the Java port Jess, but full CLIPS backwards compatability will be maintained (even to the API level where possible).
-
8
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... -
9
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... -
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.
-
10
using simple cuboids and gjk algorithm, this general purpose algorithm gives a ready made code to work with swissranger 3D camera.
-
11
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.
-
12
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. -
13
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. -
14
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. ... -
15
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 -
16
CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.
-
17
Welcome to Molecubes! This project aims to develop open modular robotic framework envisioned as a universal, robust, and low cost alternative to a variety of specialized robots with fixed body structure and functions.
-
18
-
19
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.
-
20
Gamel (pronounced like camel) is a library written in C++ for use in games. Gamel includes common search and sort algorithms, easy-to-use networking methods, logging, 2D/3D distance calculation, entity classes for RPG and FPS games, pathfinding and more.
-
21
An extensible framework for writing programs that involve evolutionary computation and physical simulations.
-
22
-
23
An multiplatform C++ environnement for simulating robots. Characteristics are : - robots are created using lego philosophy - robot behaviour language to be defined (lua ?) - multi users support on a same environnement
-
24
libSMAIL or (SMall A.I. Library) is a library containing various AI techniques. Its main use will be in games, but could be used anywhere AI is needed.
-
25
Enjambre is a swarm simulation software. It consists of a generic method to describe objects and is extendable.
