Search Results for "language"
Sort By:
68 projects for "language" with 2 filters applied:
-
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.
-
Context for your AI agentsBuild data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
2
4tH compiler
A Forth compiler with a little difference
...Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, BASIC interpreter, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment. -
3
MLton
A whole-program optimizing compiler for Standard ML
...In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler. -
4
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.
A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level. -
Desktop and Mobile Device Management SoftwareDesktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
-
5
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
6
MinForth
A minimalistic but complete standard Forth compiler in C
...A complete rebuild takes only few seconds. Current sources are for Windows and Linux (32-bit or 64-bit). MinForth primitive definitions are written in mixed Forth and C language and are transpiled to pure C code. Main but not exclusive application for the transpiler is to build the MinForth V3.4 high-level Forth compiler. MinForth V3.4 is widely conformant to the Forth-2012 draft standard and passes the usual test suites. Feedback and bug reports are welcome per - Usenet forum https://groups.google.com/forum/#!... -
7
XBNF
(X)BNF simple and clever translation grammar compiler
XBNF Neurotranslator is a powerfull extended BNF grammar language to handle translations. XBNF comes with many features to handle different kind of situations. See [Files] to get the xbnf command binaries among architectures. Blog with all ressources (DockerHub images, documentations, ...): https://damolab.zapto.org/xbnf/ Seek library to get a full set of grammar examples: https://sourceforge.net/projects/xbnf/ -
8
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. -
9
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
Web data extraction made limitlessNetNut is designed for businesses, data analysts, cybersecurity professionals, and marketers who need high-speed, reliable proxy solutions for web scraping, data collection, and secure online operations
-
10
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by... -
11
...The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.
-
12
X11-Basic
A BASIC interpreter and compiler with graphics.
X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers. -
13
FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
-
14
Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
-
15
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. -
16
DistAlgo
A Language for Distributed Algorithms
DistAlgo is a very high-level language for expressing distributed algorithms. -
17
Mozart-Oz Programming System
Runtime and development environment of Oz
The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole. -
18
ValaWindowsInstaller
Vala programming language distribution for Windows
Windows all-in-one distribution of the Vala programming language to build console and GTK+ GUI programs. Includes Vala command-line compiler, MinGW C compiler toolchain and GTK+ version 2 and 3 runtimes. -
19
WinCMOC (M6809 C Compiler)
A C Compiler/Editor for Retro 6809 Machines (Colour Computer/Dragon)
...Please visit the CMOC website: http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html CREDITS LWTools - Portable tools for the Motorola 6809/6309 http://lwtools.projects.l-w.ca/ mcpp - A Portable C Preprocessor http://mcpp.sourceforge.net/ Artistic Style - Automatic Source Formatter http://astyle.sourceforge.net/ XRoar - Dragon & CoCo emulator http://www.6809.org.uk/xroar/ CMOC - 6809 cross-compiler for a small C-like language http://perso.b2b2c.ca/~sarrazip/dev/cmoc.html -
20
pseudo-c-compiler
Tiny education compiler that can compile itself
Tiny (less then 1000 lines of code) education compiler that can compile itself. Implements small subset of C language without pointers, structures etc. Parameters and local variables also not implemented. To interface with OS Borland-style inline assembler are used (db directive only). Based on initial version of Tiny Context compiler (http://avhohlov.narod.ru/p1805en.htm). In order to simplicity compiler uses fixed source and target file names (C.C and C.COM). -
21
xSTreamC is a streaming language developed by STMicroelectronics to support the mapping of data intensive streaming applications on distributed multiprocessor SoCs. A compiler and a simulation library are provided.
-
22
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
-
23
BOLT Programming
The programming language for begginers.
This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly. -
24
The MinCaml Compiler
*** Moved to http://github.com/esumii/min-caml ***
*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC! -
25
FPGAsm
Create fast bare-metal FPGA designs without Verilog or VHDL
FPGAsm is a low-level alternative to verilog and VHDL. A near-instant 'assembler for FPGAs', this simple yet powerful language facilitates bottom-up design, layout and wiring of modules, and generation of .xdl output. With about 10 keywords to learn, you can start making circuits in minutes. Now you can focus on learning the ins and outs of the FPGA instead of complex tools and languages. Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit testing and physical test harness creation, radically changing the workflow. ...
