Search Results for "c source code" - Page 58
Sort By:
1491 projects for "c source code" with 2 filters applied:
-
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.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
Exploration in Evolutionary Computing, implementing the Traveling Salesman Problem, solving it by creating random solutions and apply random solutions to the survivors of an evaluation/elimination process.
-
2
krmp3 is a car mp3 player which currently provides interaction through text to speech synthesis and a keypad. It allows Playlist managment, the ability to rip cd's as you drive and other administrative tasks.
-
3
The goal of the Rats and Mazes project is to build a simple genetic algorithm to find general solutions to random non-cyclic single path mazes. I believe that the solutions will tend towards either the right/left-hand rule.
-
4
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
This is a cellular automata program for Linux using SVGALib. Users can make rule and neighbourhood files or use ones that come with the program.
-
6
Copter! is a SimCopter clone written in C++. Copter! will feature much more than the original SimCopter, and will be very moddable through it's modular design. Mods will be released which allow the player to be a policeman, or other characters.
-
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
It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.
-
9
An artificial life (a field in artificial intelligence) implementation using GNOME as its front end. It uses some principals of Cellular Automata. It's like "Conway's Game of Life' but with a totally different ruleset. It's a fun simulation - check it out
-
Demo Series - Small Business Backup By VeeamWatch 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.
-
10
Netracer is a network game. The main server holds the track info and all the virtual cars. Clients connect to the server and instructs the server how to run their particular cars. The fastest cars around the lap wins.
-
11
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... -
12
Weka++ is a collection of machine learning and data mining algorithm implementations ported from Weka (http://www.cs.waikato.ac.nz/ml/weka/) from Java to C++, with enhancements for usability as embedded components.
-
13
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... -
14
using simple cuboids and gjk algorithm, this general purpose algorithm gives a ready made code to work with swissranger 3D camera.
-
15
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.
-
16
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. -
17
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. -
18
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. ... -
19
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 -
20
-
21
CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.
-
22
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.
-
23
-
24
-
25
