spl/ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

OCamlCPerlMakefileStandard MLShellOtherccompiler
This is stars and forks stats for /spl/ivy repository. As of 19 Apr, 2024 this repository has 14 stars and 1 forks.

Introduction Ivy is a compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety. Ivy relies on a small number of lightweight annotations in the source code to keep time and space overheads reasonable. Ivy is implemented as a C-to-C compiler using gcc as its backend. This repository is an attempt by Sean Leather to resurrect the code. The old website is no longer updated, and this project has not seen an update since 2008. Building Ivy builds on Linux...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
fastpack/fastpackOCamlJavaScriptStandard ML2.3k0460
logseq/mldocOCamlStandard MLJavaScript2090140
rescript-lang/rescript-vscodeReScriptOCamlTypeScript2990490
qt/qtrepotoolsPerlPythonShell150280
qt/qtqaPerlPythonJavaScript150290
binary-com/perl-App-Config-ChroniclePerl00160
hamsterwk/whucs-beamerPostScriptOther36080
microsoft/PSRule.Rules.CAFPowerShell580140
qt/qtquicktimelineC++QMLC180200
rstudio-education/shiny.rstudio.com-tutorialRHTML29103140