mmhelloworld/idris-jvm

Issues

• Optimize invokedynamic for non-capture lambdas

  #63 opened 6 months ago by mmhelloworld
  1

• Example of java ffi from documentation does not compile

  #174 opened 6 months ago by jneira
  2

• Export Idris functions for Java

  #140 opened 6 months ago by mmhelloworld
  3

• Upgrade to Idris2 0.7.0

  #173 opened 6 months ago by mmhelloworld
  1

• idris2-0.6.0.4 fails in windows

  #168 opened a year ago by jneira
  8

• Add an option to compile Idris JVM output to class files without packaging into JAR with runtime

  #159 opened a year ago by ivanmoreau
  2

• auto-ffi for java classes / object model

  #167 opened a year ago by jjl
  1

• Use as part of a Maven build

  #109 opened 2 years ago by PhilAndrew
  3

• Update to Idris2 0.6.0

  #153 opened 2 years ago by mmhelloworld
  0

• Publish to Maven

  #143 opened 3 years ago by mmhelloworld
  1

• Contributing?

  #97 opened 3 years ago by zvozin
  2

• Support for generics?

  #71 opened 3 years ago by Invisible-Rabbit-Hunter
  3

• Typer provider realized by idris-jvm

  #65 opened 3 years ago by esscue23
  5

• Problematic behaviour of Idris TypeProviders

  #91 opened 3 years ago by alaendle
  1

• Use idris-jvm in the repl?

  #95 opened 3 years ago by mpdairy
  5

• Support Java annotations for exported classes and methods

  #35 opened 3 years ago by mmhelloworld
  1

• How to build from source

  #108 opened 5 years ago by mkleczek
  2

• Idris 2 support

  #104 opened 5 years ago by drone29a
  5

• Compiling Blodwen

  #79 opened 6 years ago by nightscape
  16

• TypeProvider error during `install.bat`

  #99 opened 6 years ago by g-pechorin
  4

• Support JNI native methods

  #102 opened 6 years ago by mmhelloworld
  0

• Error with install on Windows

  #96 opened 6 years ago by watashiwa-toki
  4

• RawSystem

  #98 opened 6 years ago by Chalolennox
  4

• Incorrect export of `JVM_IO` functions with `do` notation

  #83 opened 6 years ago by alaendle
  12

• JvmImport.idr line 8 %dynamic "libc" will not compile on windows.

  #81 opened 6 years ago by alaendle
  3

• java.lang.VerifyError: Inconsistent stackmap frames at branch target

  #87 opened 6 years ago by alaendle
  2

• Idris compiler gets in the way of (J)Float

  #85 opened 6 years ago by alaendle
  7

• Upgrade to Idris 1.3.0

  #76 opened 6 years ago by mmhelloworld
  0

• Reduce boxing

  #69 opened 6 years ago by mmhelloworld
  0

• Can't run the compiled example

  #74 opened 7 years ago by sarna
  2

• Optimize Idris constructors

  #72 opened 7 years ago by mmhelloworld
  0

• FFI: Handle exceptions

  #24 opened 7 years ago by mmhelloworld
  1

• Tool to generate FFI from Java class files

  #64 opened 7 years ago by mmhelloworld
  9

• Add a Java monad like in Eta

  #66 opened 7 years ago by Invisible-Rabbit-Hunter
  3

• Lambdas in ffi?

  #43 opened 7 years ago by Invisible-Rabbit-Hunter
  2

• Cannot run install script

  #61 opened 7 years ago by bentxt
  2

• Upgrade to Idris 1.1.1

  #59 opened 7 years ago by mmhelloworld
  0

• Documentation about what is not (yet) possible

  #56 opened 7 years ago by nightscape
  2

• Invoking idris-codegen-jvm on Windows 7 Enterprise fails at "rawSystem" call

  #53 opened 8 years ago by harveywi
  6

• Implement System effect

  #48 opened 8 years ago by mmhelloworld
  0

• Interface support

  #42 opened 8 years ago by Invisible-Rabbit-Hunter
  5

• Cannot run compiled program

  #41 opened 8 years ago by Invisible-Rabbit-Hunter
  4

• Rewrite in Idris

  #39 opened 8 years ago by mmhelloworld
  1

• Did you consider codec-jvm?

  #37 opened 8 years ago by minad
  5

• Support class literals

  #33 opened 8 years ago by mmhelloworld
  0

• FFI: Handle Java null

  #16 opened 8 years ago by mmhelloworld
  2

• Interop with other Java libraries

  #31 opened 8 years ago by fikse
  2

• idris on the browser?

  #30 opened 8 years ago by viebel
  9

• Setup Travis CI

  #22 opened 8 years ago by mmhelloworld
  0

• Why do I get a failed connection? it was working yesterday.

  #17 opened 8 years ago by PhilAndrew
  8