Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
47,133 repositories indexed
793–816 of 1,525 · Most stars
Programming language agnostic type construction language based on polynomials.
A graphql query language and schema definition language parser and formatter for rust
Minimalistic HTML templates for Elixir, inspired by Slim.
The metalua programming language
Jupyter's kernel for Elixir programming language
A curated list of awesome resources for Graal, GraalVM, Truffle and related topics
The D Completion Daemon is an auto-complete program for the D programming language
Resource Query Language for REST
A lightweight yet powerful configuration manager for the Go programming language
Multi target HAML (HAML for PHP, Twig, <your language here>)
A 4B grounding foundation model for physical intelligence. Unifies detection, referring, pointing, OCR, GUI, and layout grounding, achieving SOTA overall across 34 benchmarks and improving robot generalization and data efficiency in controlled evaluations.
Local inference for diffusion language models (LLaDA, Dream), written in Mojo
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
NNDial is an open source toolkit for building end-to-end trainable task-oriented dialogue models. It is released by Tsung-Hsien (Shawn) Wen from Cambridge Dialogue Systems Group under Apache License 2.0.
Luminous provides you a lot of information about the system and a lot of handy methods to quickly get useful data on the iOS platform.
A neovim port of Assorted Biscuits. Ends up with more supported languages too.
DEPRECATED: Atomic UI Framework based on Web Components and Runtime CSS Generation for rapidly building interfaces that follow your Design System 🌈DE
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
A PHP client driver for the RethinkDB query language (ReQL).
A plugin for setting Neovim LSP with JSON or YAML files
Code Intelligence for Vala & Genie
🔐 Library for developing secure, decentralized, anonymous and quantum-resistant networks in Go language
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
Using Uncle Bob's clean architecture with Kotlin language and the latest Android technologies(Rx, Dagger2 etc.).