Skip to content
View solaris-ventus's full-sized avatar

Block or report solaris-ventus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

language

24 repositories

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 779 115 Updated Nov 25, 2025

Generates ffi-compatible layer for your rust code

Rust 11 Updated Jul 4, 2020

The Crystal Programming Language

Crystal 20,289 1,669 Updated Mar 13, 2026

libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)

C 1,194 329 Updated Mar 12, 2026

The repository for high quality TypeScript type definitions.

TypeScript 51,050 30,569 Updated Mar 13, 2026

VisualVM is an All-in-One Java Troubleshooting Tool

Java 3,206 330 Updated Feb 18, 2026

The comprehensive Markdown reference guide.

HTML 3,976 692 Updated Feb 24, 2026

JVM Dynamic Attach utility

C 1,124 127 Updated Dec 5, 2025

Language Server for Perl

Perl 256 53 Updated Jan 11, 2025

The atomic_ops project (Atomic memory update operations portable implementation)

C 446 113 Updated Jan 22, 2026

Social Compilation Service

TypeScript 1,257 107 Updated Dec 24, 2025

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Java 18,784 3,432 Updated Feb 16, 2026

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

ANTLR 10,965 3,808 Updated Mar 7, 2026

Run compilers interactively from your web browser and interact with the assembly

TypeScript 18,623 2,003 Updated Mar 13, 2026

The Julia Programming Language

Julia 48,576 5,751 Updated Mar 13, 2026

Talk on folds & unfolds (and combinations) for general algebraic data types

Haskell 12 Updated Aug 6, 2013

Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.

LLVM 122 37 Updated Mar 13, 2026

mold: A Modern Linker 🦠

C++ 16,241 531 Updated Mar 4, 2026

The modern Java bytecode editor

Java 7,046 517 Updated Mar 8, 2026

SASM - simple crossplatform IDE for NASM, MASM, GAS and FASM assembly languages

Python 5,949 220 Updated Feb 8, 2026

The P programming language.

C# 3,582 217 Updated Mar 13, 2026

The Racket repository

Racket 5,109 686 Updated Mar 12, 2026

A Rust framework for correct and performant distributed systems

Rust 1,192 76 Updated Mar 13, 2026

The lcc retargetable ANSI C compiler

C 2,516 487 Updated Oct 6, 2024