lambdaclass/concrete

Issues

• concrete code which should build but panics

  #143 opened a month ago by kenarab
  0

• [Codegen] Implement Module level Constants

  #75 opened 2 months ago by edg-l
  0

• Found a case where compiler should throw an Error but panics

  #134 opened 2 months ago by kenarab
  4

• The compiler doesn't behave the same way when a function does not returns a value

  #129 opened 2 months ago by kenarab
  1

• Add a macOS runner to the ci.yml to ensure tests and benches are run on apple silicon

  #128 opened 2 months ago by igaray
  0

• [Codegen] Implement proper type resolver

  #72 opened 6 months ago by edg-l
  1

• Array Codegen

  #116 opened 3 months ago by JulianGCalderon
  0

• Print location of output files

  #120 opened 3 months ago by igaray
  2

• [Codegen] Implement Control Flow Statements

  #74 opened 6 months ago by edg-l
  0

• Make linker more consistent across systems

  #118 opened 3 months ago by edg-l
  0

• Compiler Fuel

  #117 opened 3 months ago by igaray
  0

• IR interpreter

  #115 opened 3 months ago by igaray
  0

• Control flow bug when using "return"

  #107 opened 3 months ago by JulianGCalderon
  0

• Compile Error in Linker

  #104 opened 3 months ago by JulianGCalderon
  0

• Installation in Macbook pro M2

  #99 opened 4 months ago by kenarab
  3

• Investigate how to integrate LLVM Polly for even more perfomance

  #97 opened 5 months ago by edg-l
  0

• Add record/play like Sorbet or replayability like Vale

  #90 opened 5 months ago by unbalancedparentheses
  0

• Check hyperbridge: fast multi-producer, multi-consumer unbounded channel with async support

  #91 opened 5 months ago by unbalancedparentheses
  0

• Check how Ruby's Sorbet type checker is fast and copy some ideas

  #89 opened 5 months ago by unbalancedparentheses
  0

• Add Google AddressSanitizer to check that the C code doesn't have any memory leak

  #92 opened 5 months ago by unbalancedparentheses
  0

• Check Ante for ideas

  #54 opened 7 months ago by unbalancedparentheses
  0

• Should we support subtyping?

  #58 opened 7 months ago by unbalancedparentheses
  0

• Explore ideas from Vale's "Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection"

  #37 opened 7 months ago by unbalancedparentheses
  0

• Incorporate the error model from Midori into our docs

  #38 opened 7 months ago by unbalancedparentheses
  0

• Check Nim for ideas

  #47 opened 7 months ago by unbalancedparentheses
  0

• [Check] Program checker with ariadne error reports

  #83 opened 6 months ago by edg-l
  0

• Explain in the readme, docs and webpage what we mean by system programming language

  #36 opened 7 months ago by unbalancedparentheses
  0

• Create hombrew formula

  #35 opened 7 months ago by unbalancedparentheses
  0

• Backends we want to support

  #40 opened 7 months ago by unbalancedparentheses
  0

• Explain linear types and why they are useful

  #41 opened 7 months ago by unbalancedparentheses
  0

• Better enums than rust from the getgo

  #43 opened 7 months ago by unbalancedparentheses
  0

• Copy the structure from the readme of Carbon

  #48 opened 7 months ago by unbalancedparentheses
  0

• Bit for bit deterministic reproducible builds from the getgo

  #56 opened 7 months ago by unbalancedparentheses
  0

• Write a comparison table and article against C++, Rust, Go and Erlang

  #59 opened 7 months ago by unbalancedparentheses
  0

• Online playground

  #64 opened 6 months ago by igaray
  0

• Standard Library Tracking Issue

  #62 opened 6 months ago by igaray
  0

• [Codegen] Implement Borrows and Arrays

  #80 opened 6 months ago by edg-l
  0

• [Codegen] Implement Structs and PathOp

  #71 opened 6 months ago by edg-l
  0

• [Codegen] Handle imports

  #73 opened 6 months ago by edg-l
  0

• [All] Proper error handling

  #69 opened 6 months ago by edg-l
  0

• [Compile Driver] Proper Linker Usage

  #70 opened 6 months ago by edg-l
  0

• Copy ideas from Fearles FFI

  #55 opened 7 months ago by unbalancedparentheses
  0

• Inline assembly or inline C/Rust?

  #57 opened 7 months ago by unbalancedparentheses
  1

• Required tools for secure for secure cryptography

  #44 opened 7 months ago by MauroToscano
  4

• Initial skeleton

  #46 opened 7 months ago by igaray
  0

• Machine-readable semantics for automatic verification tools

  #53 opened 7 months ago by emberian
  0

• Add examples folder and webpage like the one of roc

  #39 opened 7 months ago by unbalancedparentheses
  1

• Create time traveler debugger

  #42 opened 7 months ago by unbalancedparentheses
  0

• Deterministic hashes for data structures

  #34 opened 7 months ago by unbalancedparentheses
  0

• IO Benchmark

  #33 opened 7 months ago by unbalancedparentheses
  0