grift

A gradually typed language

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, May 11th, 2023 1:51:11pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/Gradual-Typing/Grift.git5fa76f837a0d6189332343d7aa899892b3c49583
Last checkedSunday, April 28th, 2024 2:03:22am (UTC)
Last editedSunday, September 16th, 2018 2:43:04am (UTC)
Date addedN/A
Modules
  • grift/src/language/form-map.rkt
  • grift/src/backend/c/normalize-context.rkt
  • grift/src/unique-identifiers.rkt
  • grift/src/backend/runtime-location.rkt
  • grift/tests/suite/mu/tests.rkt
  • grift/src/casts/coercion-passing.rkt
  • grift/src/casts/convert-closures.rkt
  • grift/src/grift/syntax-to-grift0.rkt
  • grift/tests/suite/static/binding/tests.rkt
  • grift/src/grift/insert-casts.rkt
  • grift/tests/suite/monovectors/tests.rkt
  • grift/main.rkt
  • grift/src/language/syntax-with-constants.rkt
  • grift/tests/test-compile-file.rkt
  • grift/src/backend/c/code-generator.rkt
  • grift/src/language/pprint.rkt
  • grift/src/form-generics.rkt
  • grift/benchmark/configs.rkt
  • grift/src/language/forms.rkt
  • grift/src/lib/dgraph.rkt
  • grift/src/casts/constants-and-codes.rkt
  • grift/src/casts/label-lambdas.rkt
  • grift/src/casts/hoist-types-and-coercions.rkt
  • grift/src/unique-counter.rkt
  • grift/tests/suite/large/tests.rkt
  • grift/tests/suite/tests.rkt
  • grift/src/language/lambda0.rkt
  • grift/src/language/primitives.rkt
  • grift/src/casts/interpret-casts-with-hyper-coercions.rkt
  • grift/src/casts/interpret-casts.rkt
  • grift/tests/suite/boxes/tests.rkt
  • grift/src/backend/c/convert-representation.rkt
  • grift/src/backend/code-generator.rkt
  • grift/tests/one-off/sham-install.rkt
  • grift/src/macros.rkt
  • grift/src/backend/runtime/make.rkt
  • grift/src/language/forms-equal.rkt
  • grift/src/backend/sham/generate-sham.rkt
  • grift/src/backend/c/generate-c.rkt
  • grift/src/casts/impose-cast-semantics.rkt
  • grift/src/grift/read.rkt
  • grift/src/unsafe-require-typed.rkt
  • grift/src/backend/c/remove-complex-opera.rkt
  • grift/tests/values.rkt
  • grift/tests/rackunit.rkt
  • grift/tests/suite/tools/tests.rkt
  • grift/tests/suite/core/binding/tests.rkt
  • grift/src/language/contracts.rkt
  • grift/tests/paths.rkt
  • grift/src/language/make-begin.rkt
  • grift/src/logging.rkt
  • grift/src/casts/cast-profiler.rkt
  • grift/src/compile.rkt
  • grift/src/backend/sham/code-generator.rkt
  • grift/src/lib/list.rkt
  • grift/src/casts/interpret-casts-with-type-based-casts.rkt
  • grift/src/grift/type-check.rkt
  • grift/src/backend/lib.rkt
  • grift/tests/suite/vectors/tests.rkt
  • grift/tests/main.rkt
  • grift/src/backend/c/simplify-predicates.rkt
  • grift/src/lib/mutable-set.rkt
  • grift/src/helpers.rkt
  • grift/tests/macros.rkt
  • grift/src/casts/memory-layout-helpers.rkt
  • grift/src/lib/function.rkt
  • grift/tests/suite/tuples/tests.rkt
  • grift/src/language/syntax.rkt
  • grift/src/language/grift.rkt
  • grift/src/language/c-helpers.rkt
  • grift/src/casts/define-to-let.rkt
  • grift/tests/test-compile.rkt
  • grift/src/lib/dhash.rkt
  • grift/tests/suite/static/tests.rkt
  • grift/src/backend/c/flatten-values.rkt
  • grift/src/lib/option-set.rkt
  • grift/src/grift/definer.rkt
  • grift/tests/suite/monoboxes/tests.rkt
  • grift/src/type-equality.rkt
  • grift/src/grift/reduce-to-cast-calculus.rkt
  • grift/src/errors.rkt
  • grift/src/lib/graph.rkt
  • grift/src/casts/interpret-casts-common.rkt
  • grift/benchmark/bench.rkt
  • grift/src/configuration.rkt
  • grift/src/casts/interpret-casts-with-coercions.rkt
  • grift/src/backend/c/uncover-locals.rkt
  • grift/src/casts/specify-representation.rkt
  • grift/tests/suite/program/tests.rkt
  • grift/src/growable-vector.rkt
  • grift/src/casts/interpret-casts-with-error.rkt
  • grift/tests/suite/core/tests.rkt
  • grift/src/helpers-untyped.rkt
  • grift/src/casts/purify-letrec.rkt