Search Results for "programmer"
Sort By:
3 projects for "programmer" with 2 filters applied:
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
1
COOK tool
Software build-automation tool written in Common Lisp
COOK is a software build-automation tool made with a goal of letting you, the programmer, to utilize the most elegant and powerful programming language - Common Lisp - for managing your software builds. You write a recipe file which describes what objectives must be constructed. COOK will load and process this file, then produce either a regular Makefile or a Bourne Shell script, which will actually perform the task of building and installing your targets. -
2
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
3
This project is the reference/bootstrap compiler for the Aglaia programming language. The language is object oriented and supports garbage collection, contracts, etc. Care is taken to ensure consistent and clean syntax, and to reduce programmer errors,
- Previous
- You're on page 1
- Next
