Dafny is a verification-aware programming language
- programming-language
- verification
Repository Index
71,372 visible repositories in the index
193–216 of 778 · Most stars
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.
🔱 Javascript's God Mode. No VM. No Bytecode. No GC. Just native binaries.
- js
- arduino
- raspberry
- compilation
A toy JVM written in Go
- jvm
- golang
Playwright for Go a browser automation library to control Chromium, Firefox and WebKit with a single API.
- playwright
- golang
- selenium
- browser-automation
For parsing, creating and editing unknown or dynamic JSON in Go
- go
- json
- parsing
- golang
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
The Goose Programming Language
Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.
- flow-based-programming
- visual-programming
- vscode
- visual-programming-editor
Execute JavaScript from Go
- go
- golang
- golang-package
- v8
:crescent_moon: A language that compiles to Lua
- moonscript
- lua
- language
- transpiler
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
- cats
- either
- fp
- functional
😀😜🔂 World’s only programming language that’s bursting with emojis
- emojicode
- emojis
- programming-language
- language
Tools and libraries to glue C/C++ APIs to high-level languages
- cppsharp
- parsing
- glue
- syntax-tree
jank is the native Clojure dialect with seamless C++ interop.
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
Skulpt is a Javascript implementation of the Python programming language
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
Power Fx low-code programming language
- power-fx
- powerfx
A cross-platform x86 assembler with an Intel-like syntax
- assembler
- assembler-x86
- assemblers
- nasm