Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Repository Index
79,350 visible repositories in the index
409–432 of 1,954 · Most stars
Checked 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 easily make their existing C code type-safe and eliminate entire classes of errors.
- c
- programming-language
- system-programming
- clang
Reason bindings for ReactJS
- react
- reasonml
- melange
Easy multi-core processing utilities for Node.
- parallel
- javascript
- worker-threads
- paralleljs
Python bindings for the Chromium Embedded Framework (CEF)
- cef
- chrome
- chromium
- cross-platform-gui
A high performance implementation of the Ruby programming language, built on GraalVM.
- graalvm
- ruby
- truffle
- hacktoberfest
Functional programming language for signal processing and sound synthesis
F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler
- fsharp
- javascript
- typescript
- dart
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
- golang
- go
- cel
- expression
Go package for OCR (Optical Character Recognition), by using Tesseract C++ library
- go
- tesseract
- tesseract-ocr
- ocr
A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
Embedded Scripting Language Designed for C++
- c-plus-plus
- embedded-scripting-language
- cpp
- language
Starlark Language
A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
C/C++ server and network library, including coroutine,redis client,http/https/websocket,mqtt, mysql/postgresql/sqlite client with C/C++ for Linux, Android, iOS, MacOS, Windows, Harmony,etc..
- coroutine
- database
- fiber
- http-client
The Rubinius Language Platform
- rubinius
- programming-languages
- virtual-machine
JavaScript on Fiber (built on Chrome's V8 JavaScript engine)
- javascript
- v8
- fiber
- coroutine
Rust friendly bindings to *nix APIs
- rust
- rust-bindings
- libc
- unix
Pure C# IL Intepreter Runtime, which is fast and reliable for scripting requirement on enviorments, where jitting isn't possible.
BS::thread_pool: a fast, lightweight, modern, and easy-to-use C++17 / C++20 / C++23 thread pool library
- thread-pool
- threadpool
- multithreading
- cpp
Rust bindings for Dear ImGui
- rust
- rust-library
- gui
- imgui
The fastest unity lua binding solution
- unity
- luabind
- luajit
- tolua
Deobfuscate obfuscator.io, unminify and unpack bundled javascript
- ast
- bundle
- debundle
- extract
It's a New Kind of Wrapper for Exposing LLVM (Safely)
- rust
- llvm
- safe
- wrapper