All Projects → llvm-hs-typed → Similar Projects or Alternatives

644 Open source projects that are alternatives of or similar to llvm-hs-typed

genTypeScript
Auto generation of type-safe bindings between Reason and Typescript.
Stars: ✭ 75 (+59.57%)
Mutual labels:  type-safety
lldbg
A lightweight native GUI for LLDB.
Stars: ✭ 83 (+76.6%)
Mutual labels:  llvm
Textrude
Code generation from YAML/JSON/CSV models via SCRIBAN templates
Stars: ✭ 79 (+68.09%)
Mutual labels:  code-generation
sum types.dart
A code generator enabling sum-types in Dart
Stars: ✭ 39 (-17.02%)
Mutual labels:  code-generation
granate
Code generator for graphql
Stars: ✭ 21 (-55.32%)
Mutual labels:  code-generation
opencilk-project
Monorepo for the OpenCilk compiler, forked from llvm/llvm-project. See the OpenCilk/infrastructure repository for build and installation instructions.
Stars: ✭ 42 (-10.64%)
Mutual labels:  llvm
typical
Data interchange with algebraic data types.
Stars: ✭ 114 (+142.55%)
Mutual labels:  type-safety
php-json-schema-model-generator
Creates (immutable) PHP model classes from JSON-Schema files including all validation rules as PHP code
Stars: ✭ 36 (-23.4%)
Mutual labels:  code-generation
heyoka
C++ library for ODE integration via Taylor's method and LLVM
Stars: ✭ 151 (+221.28%)
Mutual labels:  llvm
designto-code
Design to code engine. A design ✌️ code standard. Supports React, Flutter and more.
Stars: ✭ 87 (+85.11%)
Mutual labels:  code-generation
jitmap
LLVM-jitted bitmaps
Stars: ✭ 25 (-46.81%)
Mutual labels:  llvm
manyclangs
Repository hosting unofficial binary pack files for many commits of LLVM
Stars: ✭ 125 (+165.96%)
Mutual labels:  llvm
jeta
brooth.github.io/jeta
Stars: ✭ 21 (-55.32%)
Mutual labels:  code-generation
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
Stars: ✭ 51 (+8.51%)
Mutual labels:  llvm
malgo
A statically typed functional programming language.
Stars: ✭ 37 (-21.28%)
Mutual labels:  llvm
imp
Compiler for IMP programming language implemented in Haskell
Stars: ✭ 16 (-65.96%)
Mutual labels:  llvm
aWsm
WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
Stars: ✭ 177 (+276.6%)
Mutual labels:  llvm
FSharpWrap
Utility that automatically generates F# modules and functions based on your F# project file's references
Stars: ✭ 14 (-70.21%)
Mutual labels:  code-generation
dr checker 4 linux
Port of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel
Stars: ✭ 34 (-27.66%)
Mutual labels:  llvm
AUXify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Stars: ✭ 25 (-46.81%)
Mutual labels:  code-generation
glottie
OpenGL/WebGL based Lottie animation player
Stars: ✭ 60 (+27.66%)
Mutual labels:  llvm
nmodl
Code Generation Framework For NEURON MODeling Language
Stars: ✭ 42 (-10.64%)
Mutual labels:  code-generation
LstGen
Code-Generator für die Lohnsteuerberechnung aus PAP XML
Stars: ✭ 19 (-59.57%)
Mutual labels:  code-generation
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-25.53%)
Mutual labels:  type-safety
eslint-plugin-total-functions
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Stars: ✭ 72 (+53.19%)
Mutual labels:  type-safety
llvm-package-windows
Provides LLVM binary packages for an (almost) complete Windows build matrix. Built and packaged by GitHub Actions.
Stars: ✭ 77 (+63.83%)
Mutual labels:  llvm
llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
Stars: ✭ 68 (+44.68%)
Mutual labels:  llvm-hs
YuLang
The Yu (羽) programming language.
Stars: ✭ 46 (-2.13%)
Mutual labels:  llvm
IR2Vec
Implementation of IR2Vec, published in ACM TACO
Stars: ✭ 28 (-40.43%)
Mutual labels:  llvm
typed flags
Type-safe and human-readable set of bool flags
Stars: ✭ 23 (-51.06%)
Mutual labels:  type-safety
laboratory
Feature flags for multi-module Kotlin Android projects
Stars: ✭ 71 (+51.06%)
Mutual labels:  code-generation
systemc-compiler
This tool translates synthesizable SystemC code to synthesizable SystemVerilog.
Stars: ✭ 128 (+172.34%)
Mutual labels:  llvm
go-inline
Generic Data Structures/Algorithms in golang.
Stars: ✭ 52 (+10.64%)
Mutual labels:  code-generation
kobby
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
Stars: ✭ 52 (+10.64%)
Mutual labels:  code-generation
JitCat
A C++17 library for parsing and executing expressions. Allows easy exposure of variables and functions from C++ through built-in reflection functionality.
Stars: ✭ 16 (-65.96%)
Mutual labels:  llvm
dmjit
.dmJIT is a Rust-based JIT compiler using modified auxtools, dmasm and Inkwell LLVM wrapper for boosting Byond DM performance without any hassle! (formerly known as dm-jitaux)
Stars: ✭ 18 (-61.7%)
Mutual labels:  llvm
Chromium Clang
Chromium browser compiled with the Clang/LLVM compiler.
Stars: ✭ 77 (+63.83%)
Mutual labels:  llvm
CMLFS
Clang-Built Musl Linux From Scratch
Stars: ✭ 51 (+8.51%)
Mutual labels:  llvm
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (-14.89%)
Mutual labels:  type-safety
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Stars: ✭ 21 (-55.32%)
Mutual labels:  code-generation
anvill
anvill forges beautiful LLVM bitcode out of raw machine code
Stars: ✭ 228 (+385.11%)
Mutual labels:  llvm
ParNMPC
A Parallel Optimization Toolkit for Nonlinear Model Predictive Control (NMPC)
Stars: ✭ 173 (+268.09%)
Mutual labels:  code-generation
dynamic.yaml
DEPRECATED: YAML-based data transformations
Stars: ✭ 14 (-70.21%)
Mutual labels:  code-generation
mr.boilerplate
Online app to generate Scala boilerplate
Stars: ✭ 32 (-31.91%)
Mutual labels:  code-generation
mollusc
Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
Stars: ✭ 49 (+4.26%)
Mutual labels:  llvm
hidev
Automation tool mixed with code generator for easier continuous development
Stars: ✭ 27 (-42.55%)
Mutual labels:  code-generation
McNinja
Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
Stars: ✭ 30 (-36.17%)
Mutual labels:  llvm-ir
Rosalina
Rosalina is a code generation tool for Unity's UI documents. It generates C# code-behind script based on a UXML template.
Stars: ✭ 57 (+21.28%)
Mutual labels:  code-generation
Star-lang-specification
Work in progress specs for the Star programming language
Stars: ✭ 26 (-44.68%)
Mutual labels:  llvm
m2lang
The LLVM-based Modula-2 compiler
Stars: ✭ 29 (-38.3%)
Mutual labels:  llvm
LLVM-Obfuscator
LLVM Obfuscator
Stars: ✭ 44 (-6.38%)
Mutual labels:  llvm
CastXMLSuperbuild
Build CastXML and its dependencies (LLVM/Clang)
Stars: ✭ 32 (-31.91%)
Mutual labels:  llvm
orm
Go Typed ORM
Stars: ✭ 16 (-65.96%)
Mutual labels:  code-generation
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-57.45%)
Mutual labels:  llvm
Coalesce
Helping you quickly build amazing sites
Stars: ✭ 42 (-10.64%)
Mutual labels:  code-generation
enumer
A Go tool to auto generate methods for your enums
Stars: ✭ 167 (+255.32%)
Mutual labels:  code-generation
pymlir
Python interface for MLIR - the Multi-Level Intermediate Representation
Stars: ✭ 84 (+78.72%)
Mutual labels:  llvm
movForth
LLVM frontend for the Forth Language
Stars: ✭ 71 (+51.06%)
Mutual labels:  llvm
PolyCast
Safely cast values to int, float, or string in PHP
Stars: ✭ 52 (+10.64%)
Mutual labels:  type-safety
schema-gen
XML Schema code generator outputting Swift, Kotlin and Java
Stars: ✭ 25 (-46.81%)
Mutual labels:  code-generation
61-120 of 644 similar projects