Search Results for "language" - Page 2
Sort By:
Showing 78 open source projects for "language"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Kitten
A statically typed concatenative systems programming language
Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state. -
2
Higher Order Kind
A modern proof language
A Kubernetes-based tool for creating local clusters, ideal for testing and CI/CD. -
3
Dickinson
Text generation language
Dickinson is a text-generation language. You can try out the language on the web without installing anything. Binaries for some platforms are available on the releases page. There is an install script that will try to download the right release for your computer. -
4
Lamdu
Lamdu, towards the next generation IDE
Lamdu is a programming language designed to be useful and delightful. This project aims to create a next-generation, live programming environment that radically improves the programming experience. A predictable user interface with rich code completions, without the possibility of syntax errors. Continuous, automatic code formatting without the user needing to deal with formatting. -
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.
-
5
Duckling
Language, engine, and tooling for testing composable language rules
...It features multi-language support and is widely used in production environments requiring robust entity extraction. -
6
alphabit.org
Public files of alphabit.org domain
...eventually will contain source files and examples on the usage and customization of the code crafting tools being developed at alphabit.org domain... 1 . web server (nodejs), to share bits our way... the highway was too dangerous and inadequate. 2. window manager (xmonad), to enjoy work... as we are at it. 3. yet another new programming language (javascript), it does not yet exists and we would like to try it. more on all this as each of the mentioned projects get eventually created... maybe never ::: tomorrow is unknown. -
7
Yesod
A RESTful Haskell web framework built on WAI
...Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space memory consumption. Asynchronous IO, this is built in to the Haskell programming language (like Erlang). -
8
Accelerate
Embedded language for high-performance array computations
...Embedded in the advanced functional programming language Haskell, Accelerate programs are declarative, statically-typed, pure, functional, and ready to exploit all of the performance of modern parallel hardware. The combination of a strong type system, high-level code, and interactive development environment, allows you to develop code quickly with the confidence that it is correct. -
9
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. -
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.
-
10
Haskell IDE Engine (HIE)
The engine for haskell ide-integration. Not an IDE
This project aims to be the universal interface to a growing number of Haskell tools, providing a fully-featured Language Server Protocol server for editors and IDEs that require Haskell-specific functionality. Supports plain GHC projects, cabal projects(sandboxed and non sandboxed) and stack projects. Fast due to caching of compile info. Uses LSP, so should be easy to integrate with a wide selection of editors. Diagnostics via hlint and GHC warnings/errors. -
11
GHC (Glasgow Haskell Compiler)
Mirror of the Glasgow Haskell Compiler
GHC (Glasgow Haskell Compiler) is the leading open-source compiler and interactive environment for the Haskell programming language, supporting the Haskell 2010 standard plus numerous language extensions. It compiles to native machine code (via LLVM or C), and includes the interactive GHCi REPL. For full information on building GHC, see the GHC Building Guide. Here follows a summary - if you get into trouble, the Building Guide has all the answers. For building library documentation, you'll need Haddock. ... -
12
TensorFlow Haskell
Haskell bindings for TensorFlow
The tensorflow-haskell package provides Haskell-language bindings for TensorFlow, giving Haskell developers the ability to build and run computation graphs, machine learning models, and leverage TensorFlow's ecosystem—though it is not an official Google release. As an expedient we use docker for building. Once you have docker working, the following commands will compile and run the tests. -
13
Semantic
Parsing, analyzing, and comparing source code across many languages
semantic is a Haskell library and command line tool for parsing, analyzing, and comparing source code. Run semantic --help for complete list of up-to-date options. Semantic uses tree-sitter to generate parse trees, but layers in a more generalized notion of syntax terms across all supported programming languages. We'll see why this is important when we get to diffs and program analysis, but for now let's just inspect some output. It helps to have a simple program to parse. Symbols are named... -
14
Toodles
Project management directly from the TODOs in your codebase
Toodles is a dead-simple, self-hosted web-based to-do list application that scans your codebase for TODO comments and displays them in a clean dashboard. It helps developers keep track of pending work scattered across files, making it easier to manage technical debt and pending improvements. -
15
turtle
Shell programming, Haskell style
Turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as a scripting language or a shell. Think of turtle as coreutils embedded within the Haskell language. The turtle library focuses on being a "better Bash" by providing a typed and light-weight shell scripting experience embedded within the Haskell language. If you have a large shell script that is difficult to maintain, consider translating it to a "turtle script" (i.e. a Haskell script using the turtle library). ... -
16
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. -
17
jl
Functional sed for JSON
jl ("JSON lambda") is a tiny functional language for querying and manipulating JSON. -
18
Kaleidoscope
Haskell LLVM JIT Compiler Tutorial
This repository is a Haskell port of the classic LLVM “Kaleidoscope” tutorial that walks you through building a tiny programming language from scratch. It covers the complete pipeline: tokenizing and parsing a simple, expression-oriented language, constructing an AST, and generating LLVM IR with a JIT so you can execute code interactively. Along the way it adds language features like user-defined functions, conditionals, loops, and operator precedence, demonstrating how each addition impacts parsing and codegen. ... -
19
Corrode
C to Rust translator
...Preprocessor handling and tricky macro patterns are approached pragmatically, aiming for working output over exhaustive transformation. As a proof-of-concept, it demonstrates how automated tooling can accelerate moving from legacy C to a memory-safe language without a full rewrite. -
20
landshade
realtime 3d surface rendering library
landshade is a C++ library for quick tesselation of complex 3D data like terrain and other curves surfaces at different levels of detail on modern graphics hardware. -
21
AlgVar
Algorithmic Variations
An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages. -
22
HLearn
Homomorphic machine learning
...This allows for parallel, incremental, and distributed computation in a mathematically consistent way. HLearn aims to provide implementations of common algorithms like k-means, naive Bayes, and others while maintaining the expressiveness and safety of the Haskell language. -
23
AlloyMDA
MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy. -
24
Human Speakable Programming Language
foundation of the General Intelligence Operating System
HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. -
25
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
