SSealbook
Sealbook / Open source / Lenguajes de programación y runtimes

Mejores proyectos open source: Lenguajes de programación y runtimes

501 repositorios con más de 1,000 estrellas, por estrellas. Encabezan: go, TypeScript, deno.

RepositorioEstrellasLenguajeLicenciaActividad
151dafny-lang/dafnyDafny is a verification-aware programming language★ 3.6kC#OtherActivo
152GoogleChromeLabs/sw-toolbox[Deprecated] A collection of service worker tools for offlining runtime requests★ 3.6kJavaScriptApache-2.0Archivado
153goby-lang/gobyGoby - Yet another programming language written in Go★ 3.5kGoMITArchivado
154beartype/beartypeUnbearably fast near-real-time pure-Python runtime-static type-checker.★ 3.5kPythonMITActivo
155idris-lang/Idris-devA Dependently Typed Functional Programming Language★ 3.5kHaskellOtherArchivado
156leafo/moonscript:crescent_moon: A language that compiles to Lua★ 3.5kC—Activo
157WebAssembly/specWebAssembly specification, reference interpreter, and test suite.★ 3.5kWebAssemblyOtherActivo
158koute/stdwebA standard library for the client-side Web★ 3.5kRustApache-2.0Sin cambios
159skulpt/skulptSkulpt is a Javascript implementation of the Python programming language★ 3.4kPythonOtherActivo
160dunwu/javacore☕ JavaCore 是对 Java 核心技术的经验总结。★ 3.3kJavaCC-BY-SA-4.0Activo
161jakogut/tinyvmTinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.★ 3.3kCMITSin cambios
162flaneur2020/pua-langa dialect of The Monkey Programming Language★ 3.3kRustMITSin cambios
163jupyter-xeus/xeus-clingJupyter kernel for the C++ programming language★ 3.3kC++BSD-3-ClauseMenos activo
164saghul/txiki.jsA tiny JavaScript runtime★ 3.3kCMITActivo
165virt-manager/virt-managerDesktop tool for managing virtual machines via libvirt★ 3.3kPythonGPL-2.0Activo
166orangeduck/BuildYourOwnLispLearn C and build your own programming language in under 1000 lines of code!★ 3.3kHTMLOtherMenos activo
167checkedc/checkedcChecked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people e★ 3.3kCOtherSin cambios
168truffleruby/trufflerubyA high performance implementation of the Ruby programming language, built on GraalVM.★ 3.2kRubyOtherActivo
169MaxBittker/sandspielCreative cellular automata browser game ★ 3.2kJavaScriptMITActivo
170ChaiScript/ChaiScriptEmbedded Scripting Language Designed for C++★ 3.1kC++OtherActivo
171konsoletyper/teavmCompiles Java bytecode to JavaScript, WebAssembly and C★ 3.1kJavaApache-2.0Activo
172artichoke/artichoke💎 Artichoke is a Ruby made with Rust★ 3.1kRustMITArchivado
173FStarLang/FStarA Proof-oriented Programming Language★ 3.1kF*Apache-2.0Activo
174szwacz/electron-boilerplateBoilerplate application for Electron runtime★ 3.1kJavaScriptMITArchivado
175Ourpalm/ILRuntimePure C# IL Intepreter Runtime, which is fast and reliable for scripting requirement on enviorments, where jitting isn't possible. ★ 3.1kC#OtherActivo
176brennerm/PyTricksCollection of less popular features and tricks for the Python programming language★ 3kPythonMITSin cambios
177munificent/vigilVigil, the eternal morally vigilant programming language★ 3kPython—Sin cambios
178recp/cglm📽 Highly Optimized 2D / 3D Graphics Math (glm) for C★ 3kCMITActivo
179chaosprint/glicolGraph-oriented live coding language and music/audio DSP library written in Rust★ 3kRustMITSin cambios
180d4l3k/go-pryAn interactive REPL for Go that allows you to drop into your code at any point.★ 3kGoMITSin cambios
181SerenityOS/jaktThe Jakt Programming Language★ 3kC++BSD-2-ClauseActivo
182espruino/EspruinoThe Espruino JavaScript interpreter - Official Repo★ 3kCOtherActivo
183kubernetes-sigs/controller-runtimeRepo for the controller-runtime subproject of kubebuilder (sig-apimachinery)★ 3kGoApache-2.0Activo
184unjs/jitiRuntime TypeScript and ESM support for Node.js★ 3kTypeScriptMITActivo
185wasmerio/wasmer-go🐹🕸️ WebAssembly runtime for Go★ 2.9kGoMITSin cambios
186agda/agdaAgda is a dependently typed programming language / interactive theorem prover.★ 2.9kHaskellOtherActivo
187wasdk/WebAssemblyStudioLearn, Teach, Work and Play in the WebAssembly Studio★ 2.9kTypeScriptMITArchivado
188terralang/terraTerra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.★ 2.9kC++OtherActivo
189bastion-rs/bastionHighly-available Distributed Fault-tolerant Runtime★ 2.9kRustApache-2.0Sin cambios
190langhuihui/jessibucaJessibuca是一款开源的纯H5直播流播放器★ 2.9kCGPL-3.0Activo
191mlua-rs/mluaHigh level Lua 5.5/5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support★ 2.9kRustOtherActivo
192cocur/slugifyConverts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.★ 2.9kPHPMITMenos activo
193obi1kenobi/trustfallA query engine for any combination of data sources. Query your files and APIs as if they were databases!★ 2.9kRustApache-2.0Activo
194joye61/pic-smallerPic Smaller – Compress JPEG, PNG, WEBP, AVIF, SVG and GIF images intelligently★ 2.9kTypeScriptMITActivo
195YarnSpinnerTool/YarnSpinnerThe core compiler and engine-agnostic components for Yarn Spinner, the friendly dialogue tool.★ 2.9kC#MITActivo
196tidalcycles/TidalPattern language★ 2.8kHaskellGPL-3.0Archivado
197elsaland/elsa❄️ Elsa is a minimal runtime for JavaScript and TypeScript written in Go★ 2.8kTypeScriptMITSin cambios
198mbasso/asm-domA minimal WebAssembly virtual DOM to build C++ SPA (Single page applications)★ 2.8kC++OtherSin cambios
199jOOQ/jOOR jOOR - Fluent Reflection in Java jOOR is a very simple fluent API that gives access to your Java Class structures in a more intuitive way. ★ 2.8kJavaApache-2.0Activo
200IoLanguage/ioIo programming language. Inspired by Self, Smalltalk and LISP.★ 2.8kCOtherActivo