Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Repository Index
47,133 repositories indexed
1–24 of 40 · Most stars
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
The next-generation file converter. Open source, fully local* and free forever.
WebAssembly Design Documents
Base library for a lexer that can be used in Top-Down, Recursive Descent Parsers.
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
Annotations Docblock Parser
- hacktoberfest
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
MetaCall: The ultimate polyglot programming experience.
- metacall
- function-mesh
- programming-language
- inter-language
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Next-gen phpDoc parser with support for intersection types and generics
- phpstan
- static-analysis
- php
- php7
Expression evaluation in golang
- evaluate-expressions
- expression-evaluator
- gval
- expression-language
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
Easy and elegant parser combinators for Python. With awesome docs.
Docile keeps your Ruby DSLs tame and well-behaved
- dsl
- ruby
- builder-pattern
- immutability
A compiler from Doxygen XML to reStructuredText -- hence, the name. It parses XML databases generated by Doxygen and produces reStructuredText for the Python documentation generator Sphinx.
- documentation-tool
- documentation-generator
- sphinx-doc
- restructured-text
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser