Search Results for "programmer"
Sort By:
Showing 8 open source projects for "programmer"
View related business solutions-
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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Agda
Agda is a dependently typed programming language
... parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. Agda is a proof assistant. It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram, Matita and NuPRL. -
2
Hy
A dialect of Lisp that's embedded in Python
... thing a Python programmer will notice about Hy is that it has Lisp’s traditional parenthesis-heavy prefix syntax in place of Python’s C-like infix syntax. As in other Lisps, the value of a simplistic syntax is that it facilitates Lisp’s signature feature, metaprogramming through macros, which are functions that manipulate code objects at compile-time to produce new code objects, which are then executed as if they had been part of the original code. -
3
pFFh
a self-contained development environment for embedded systems.
pFFh is a programming language that allows you to launch applications on embedded systems safely, quickly and comfortably. pFFh runs on the target system, combining operation as a command interpreter and code compiler. We can say that pFFh behaves like an operating system on the board under development. All pFFh needs is a serial or USB-serial channel to communicate, and through it, receive and process console commands, either from a keyboard or from files sent from a desktop computer. At... -
4
Vale
Compiler for the Vale programming language
... on the programmer). Vale also pursues what they call Fearless FFI to make foreign function interface (e.g. interoperating with C libraries) safer and less error-prone. The language supports single ownership semantics (so values have a unique owner, which simplifies reasoning) while also enabling aliasing under controlled circumstances. -
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
5
SPL Compiler
A low-level system programming language with high-level syntax
A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long... -
6
Visia Compiler 4.8.7.1
Visia programming language (native compiler)
Visia is a programming language (native compiler) made in VB6 (Visual Basic 6.0). Updates and content -------------------------- Visia Compiler 4.8.7.zip - is the original code of Visia Compiler. Visia Compiler 4.8.7.zip -------------------------- Visia Compiler 4.8.7.1.zip - It contains a small and intelligent change suggested by Wilksey! (PSC programmer) which enables a real-time syntax highlighting. -
7
Aardvark Language
A proposal for a general-purpose programming language
Aardvark is intended to be a 'programmer’s language' with as few experiments as possible and a very traditional Java-like syntax. Innovations are only in response to the actual problems and annoyances faced regularly by programmers. A key feature of Aardvark is the robustness of the compiled code. Another feature is the attempt to heighten the level of abstraction while programming, to avoid the programmer being bogged down in nitty-gritty details. This higher level of abstraction is achieved... -
8
The Magda language
Magda language resource site
Magda is a programming language introduced in Jarek Kusmierek's PhD (http://www.mimuw.edu.pl/~jdk/mixiny.pdf) and continued in Mauro Mulatero's thesis (http://www.tesionline.it/default/tesi.asp?idt=45612). Magda's goal is to allow a programmer to write well-modularized, reusable code. Magda is based upon the core notion of mixin as the only unit of reuse. The power of modularization of mixins is enhanced by two unique features. The first feature is the modularization of constructors...
- Previous
- You're on page 1
- Next
