The latest version of Jikka is 5.6.0.0-0.
lib:Jikka
Modules
- Jikka.CPlusPlus.Convert
- Jikka.CPlusPlus.Convert.AddMain
- Jikka.CPlusPlus.Convert.BundleRuntime
- Jikka.CPlusPlus.Convert.FromCore
- Jikka.CPlusPlus.Convert.MoveSemantics
- Jikka.CPlusPlus.Convert.OptimizeRange
- Jikka.CPlusPlus.Convert.UnpackTuples
- Jikka.CPlusPlus.Convert.UseInitialization
- Jikka.CPlusPlus.Format
- Jikka.CPlusPlus.Language.Expr
- Jikka.CPlusPlus.Language.Util
- Jikka.CPlusPlus.Language.VariableAnalysis
- Jikka.Common.Alpha
- Jikka.Common.Combinatorics
- Jikka.Common.Error
- Jikka.Common.FileEmbed
- Jikka.Common.Format.AutoIndent
- Jikka.Common.Format.Color
- Jikka.Common.Format.Error
- Jikka.Common.Format.Location
- Jikka.Common.Format.Show
- Jikka.Common.Graph
- Jikka.Common.IO
- Jikka.Common.IOFormat
- Jikka.Common.Location
- Jikka.Common.Matrix
- Jikka.Common.ModInt
- Jikka.Common.Parse.JoinLines
- Jikka.Common.Parse.OffsideRule
- Jikka.Common.Parse.Read
- Jikka.Common.Parse.ShuntingYard
- Jikka.Core.Convert
- Jikka.Core.Convert.ANormal
- Jikka.Core.Convert.Alpha
- Jikka.Core.Convert.ArithmeticalExpr
- Jikka.Core.Convert.Beta
- Jikka.Core.Convert.BubbleLet
- Jikka.Core.Convert.CloseAll
- Jikka.Core.Convert.CloseMin
- Jikka.Core.Convert.CloseSum
- Jikka.Core.Convert.ConstantFolding
- Jikka.Core.Convert.ConstantPropagation
- Jikka.Core.Convert.ConvexHullTrick
- Jikka.Core.Convert.CumulativeSum
- Jikka.Core.Convert.EqualitySolving
- Jikka.Core.Convert.Eta
- Jikka.Core.Convert.KubaruToMorau
- Jikka.Core.Convert.MakeScanl
- Jikka.Core.Convert.MatrixExponentiation
- Jikka.Core.Convert.PropagateMod
- Jikka.Core.Convert.RemoveUnusedVars
- Jikka.Core.Convert.SegmentTree
- Jikka.Core.Convert.ShortCutFusion
- Jikka.Core.Convert.SpecializeFoldl
- Jikka.Core.Convert.StrengthReduction
- Jikka.Core.Convert.TrivialLetElimination
- Jikka.Core.Convert.TypeInfer
- Jikka.Core.Convert.UnpackTuple
- Jikka.Core.Evaluate
- Jikka.Core.Format
- Jikka.Core.Language.ArithmeticalExpr
- Jikka.Core.Language.Beta
- Jikka.Core.Language.BuiltinPatterns
- Jikka.Core.Language.Expr
- Jikka.Core.Language.FreeVars
- Jikka.Core.Language.LambdaPatterns
- Jikka.Core.Language.Lint
- Jikka.Core.Language.QuasiRules
- Jikka.Core.Language.RewriteRules
- Jikka.Core.Language.Runtime
- Jikka.Core.Language.TypeCheck
- Jikka.Core.Language.Util
- Jikka.Core.Language.Value
- Jikka.Core.Parse
- Jikka.Core.Parse.Alex
- Jikka.Core.Parse.Happy
- Jikka.Core.Parse.Token
- Jikka.Main
- Jikka.Main.Subcommand.Convert
- Jikka.Main.Subcommand.Debug
- Jikka.Main.Subcommand.Execute
- Jikka.Main.Target
- Jikka.Python.Convert.ToRestrictedPython
- Jikka.Python.Language.Expr
- Jikka.Python.Language.Util
- Jikka.Python.Parse
- Jikka.Python.Parse.Alex
- Jikka.Python.Parse.Happy
- Jikka.Python.Parse.Token
- Jikka.RestrictedPython.Convert
- Jikka.RestrictedPython.Convert.Alpha
- Jikka.RestrictedPython.Convert.DefaultMain
- Jikka.RestrictedPython.Convert.ParseMain
- Jikka.RestrictedPython.Convert.RemoveUnbalancedIf
- Jikka.RestrictedPython.Convert.RemoveUnreachable
- Jikka.RestrictedPython.Convert.ResolveBuiltin
- Jikka.RestrictedPython.Convert.SplitLoops
- Jikka.RestrictedPython.Convert.ToCore
- Jikka.RestrictedPython.Convert.TypeInfer
- Jikka.RestrictedPython.Convert.UseAppend
- Jikka.RestrictedPython.Evaluate
- Jikka.RestrictedPython.Format
- Jikka.RestrictedPython.Language.Builtin
- Jikka.RestrictedPython.Language.Expr
- Jikka.RestrictedPython.Language.Lint
- Jikka.RestrictedPython.Language.Util
- Jikka.RestrictedPython.Language.Value
- Jikka.RestrictedPython.Language.VariableAnalysis
- Jikka.RestrictedPython.Language.WithoutLoc
Dependencies
- ansi-terminal lib:ansi-terminal >=0.11 && <0.12
- array lib:array >=0.5.3 && <0.6
- base lib:base >=4.12 && <5
- containers lib:containers >=0.6.0 && <0.7
- deepseq lib:deepseq >=1.4.4 && <1.5
- directory lib:directory >=1.3.3 && <1.4
- mtl lib:mtl >=2.2.2 && <2.3
- template-haskell lib:template-haskell >=2.16.0 && <2.17
- text lib:text >=1.2.3 && <1.3
- transformers lib:transformers >=0.5.6 && <0.6
- vector lib:vector >=0.12.3 && <0.13
Reverse dependencies
Direct only. Not exhaustive.