Ivan Ho's repositories

cpp.property

A single-header property system for C++17.

Language:C++License:MITStargazers:1Issues:1Issues:1

golly

Polyhedral analysis of CUDA kernels using LLVM

Language:LLVMLicense:MITStargazers:1Issues:1Issues:0

idk

Ivan's Development Kit, aka 'iunno'

Language:MathematicaStargazers:1Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

accelerate-llvm

LLVM backend for Accelerate

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

cesium

An open-source JavaScript library for world-class 3D globes and maps :earth_americas:

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

clangir

A new (MLIR based) high-level IR for clang.

License:NOASSERTIONStargazers:0Issues:0Issues:0

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

draw-io-bin

my dumping ground for my draw.io diagrams

Stargazers:0Issues:0Issues:0

haskell99

99 problems in Haskell

Language:HaskellStargazers:0Issues:0Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

License:NOASSERTIONStargazers:0Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

ggj-2024

pencil lizards

Language:C#Stargazers:0Issues:0Issues:0

golly-benchmark

Benchmarks for Golly

Language:C++Stargazers:0Issues:0Issues:0

its-frontend-manager

Frontend Management System for ITS

Language:TypeScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0