Search Results for "llama-2-7b"
Sort By:
Showing 33 open source projects for "llama-2-7b"
View related business solutions-
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
Idris 2
A purely functional programming language with first class types
...This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This is a small but powerful idea, enabling relationships to be expressed between values; for example, that two lists have the same length. Assumptions to be made explicit and checked by the compiler. For example, if you assume that a list is non-empty, Idris can ensure this assumption always holds before the program is run. -
2
Solidity
The Smart Contract Programming Language
...This provides a convenient and gas-efficient way to explain to users why an operation failed. As a relatively young language, Solidity is advancing at a rapid speed. We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
3
Luau
Fast, small, safe, gradually typed embeddable scripting language
...Roblox chose to open-source Luau to foster collaboration within the Roblox community as well as to allow other companies and communities to benefit from the ongoing language and runtime innovation. As a consequence, Luau is now also used by games like Alan Wake 2 and Warframe. -
4
Crafting Interpreters
Repository for the book "Crafting Interpreters"
This repository is the companion to the book Crafting Interpreters. It contains the full source code for two interpreters (one in C and one in Java), the Markdown source of the book, the tooling to weave prose and code into a website, and build scripts to generate the executable interpreters. The book aims to teach from the ground up how to build a full-featured scripting language (called Lox) with parsing, AST, compiler / VM, garbage collection, classes, and more. -
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
OCaml
The core OCaml system: compilers, runtime system, base libraries
...This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. ... -
6
Hy
A dialect of Lisp that's embedded in Python
Hy is a multi-paradigm general-purpose programming language in the Lisp family. It’s implemented as a kind of alternative syntax for Python. Compared to Python, Hy offers a variety of extra features, generalizations, and syntactic simplifications, as would be expected of a Lisp. Compared to other Lisps, Hy provides direct access to Python’s built-ins and third-party Python libraries, while allowing you to freely mix imperative, functional, and object-oriented styles of programming. The first... -
7
Autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++
...It integrates the functionality of bindgen (for parsing and generating Rust bindings from C++ headers) with cxx (for safe and idiomatic Rust–C++ communication), automating the creation of bridges between the two languages. With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++ classes, functions, and types. This approach greatly simplifies working with existing C++ libraries in Rust while maintaining safety and memory correctness. By reducing the amount of boilerplate and manual configuration typically needed for FFI (Foreign Function Interface) bindings, autocxx allows developers to focus on higher-level logic rather than low-level integration details. -
8
The CUE Data Constraint Language
The home of the CUE language. Validate and define text-based config
...Schema definition is enriched with fine-grained value definitions and default values. At the same time, data can be simplified by removing values implied by such detailed definitions. The merging of these two concepts enables many tasks to be handled in a principled way. The CUE scripting layer defines declarative scripting, expressed in CUE, on top of data. This solves three problems: working around the closedness of CUE definitions (we say CUE is hermetic), providing an easy way to share common scripts and workflows for using data, and giving CUE the knowledge of how data is used to optimize validation. -
9
IElixir
Jupyter's kernel for Elixir programming language
Jupyter's kernel for Elixir. You can manage your packages in runtime with Boyle. Name of the package honours remarkable chemist, Robert Boyle. This package allows you to manage your Elixir virtual enviromnent without need of restarting erlang virtual machine. Boyle installs environment into ./envs/you_new_environment directory and creates new mix project there with requested dependencies. It keeps takes care of fetching, compiling and loading/unloading modules from dependencies list of that... -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
10
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS. -
11
AQ
AQ is an interpreted programming language. It is fast, small, simple a
AQ is a fast, small, simple and safe interpreted programming language. It may be a great work. -
12
M.O.R.T.A.L.
The M.O.R.T.A.L. programming language
M.O.R.T.A.L. is a new general-purpose programming language now under development. It is meant to take the best features of multiple paradigms and combine them all into a single, easy-to-use language, suitable for professionals and hobbyists alike. (The basic OOP paradigm, with metaprogramming features, will be implemented first.) Its primary goal is to allow very heavy computations to be performed efficiently and easily, even by scientists from other fields than computer science. For... -
13
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
14
EDITEL
EDITEL is a screen editor/code generator for GnuCOBOL programmers
One of the hardest things to do when coding with COBOL is translating a screen design into code. The process may take hours, not to say days. In my old BLIS-COBOL, COBOL 74 and COBOL 80 /85 days (and those last 2 had the SCREEN SECTION which helped a lot !), I recall spending a significant amount of time dedicated to that activity. Time that could be used for more productive activities like coding and resolving bugs, for instance. Having said that, I developed a Screen Editor (similar to a Screen Painter, as some tools may call it) which allows the user to create screen layouts (which includes the use of colors) with delimited fields and respective input masks, and finally generate the SCREEN SECTION code that reflects that layout. ... -
15
XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
-
16
MANOOL
Programming language with expressive power and a simple implementation
...Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello, world!"]} Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. ... -
17
ra
ra is a programming language and machine.
...Programs for ra are built from a small set of primitive control statements and a small set of operations. Although they contain no explicit types they are based on two primitive types, string and number, and a high order type, table. When called with the -d option ra includes commands for starting and stopping program execution and examining program state. -
18
KAREL 3D WebGL
Children's learning programming language Karel the Robot in 3D
KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical manuals in Slovak language from years 1987 - 1990 Writen in HTML for fast universal use, including JavaScript code with Three engine. ... -
19
Eta
The Eta Programming Language, a dialect of Haskell on the JVM
A powerful programming language to build concurrent & distributed systems on the JVM. Eta is a pure, lazy, strongly typed functional programming language on the JVM. It brings two big ecosystems, the JVM and Haskell, together. This allows you to harness the best of both ecosystems to build your applications quickly and effectively. Eta's concurrency support helps you to build highly scalable systems. Eta has a strongly-typed Foreign Function Interface (FFI) that allows you to safely interoperate with Java. ... -
20
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
21
KAREL 3D
Learning programming language for kids
This is learning programming language for children Karel-3D. By words from LightBot: "Get kids hooked on coding with minutes!" Created by Karel 3D from the 8-bit microcomputer PMD 85-2 in 1986. His later version of Karel the Robot in 3D, created first in the Slovak Republic. JavaScript variant include only one small HTML file tested and works on all devices with keyboard and full JavaScript support in internet browser, or alternative pre-compiled JAVA V8 .jar file with webEngine and JavaFX and code in string. ... -
22
Skila
programming language and compiler
Skila is an experimental language and compiler. It is written in C# so some .Net environment is required (like Mono) and NLT binaries (see the link below). This is not a proper release, this package is more a BACKUP of Skila. Until the first real user there will be no logs, noticies, and so on. Before you faint -- yes, the code is a mess, yes there are a lot of bugs, but there is improvement almost every day so for me this endeavour still looks promising. Read more at:... -
23
TISP
A simple, LISP-like programming language.
ThyLordRoot's Interpreted S-expression Parser (TISP) is a LISP-like programming language developed for the benefit of ThyLordRoot's viewers on Twitch.tv. This heritage was chosen for its simplicity and affordance of rapid prototyping. Although it is a toy language, it is intended to be Turing complete, and bootstrapping TISP is a major goal. -
24
Ino-L
Simple programming language for Windows.
Ino-L is a TUI programming language for Windows that compiles into MS-DOS batch files. Ino-L stands for Innova Language, because Innova is French for innovation. The purpose of the language is to allow programmers the same functionality and abilities of batch files, but with simpler syntax and limited GUI, along with other things MS-DOS does not natively support. Your MS-DOS code can also be incorporated into the Ino-L source code, along with JavaScript and VisualBasic. -
25
D Game Engine
A game engine written in the D programming language
An implementation of a game engine in the D programming language. It is currently in an early pre-alpha state. The goal is to make a flexible, reasonably efficient engine with a simple API.
