Write components once, run everywhere. Compiles to React, Vue, Qwik, Solid, Angular, Svelte, and more.
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Brings SQL and AI together.
- sqlflow
- sql-syntax
- ai
- transpiler
convert sql to elasticsearch DSL in golang(go)
- elasticsearch
- sql
- golang
- dsl
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
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: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
sql-to-mongo-db-query-converter
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
A Verified Compiler for Gallina, Written in Gallina
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Convert Haskell source code to Coq source code.
- coq
- haskell
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract