├── .github ├── ISSUE_TEMPLATE │ ├── bug.md │ └── feature.md ├── logo.svg └── workflows │ └── main.yml ├── .gitignore ├── .pre-commit-config.yaml ├── LICENSE ├── MAKEHELP ├── Makefile ├── api └── c │ ├── api.c │ ├── api.h │ └── application.c ├── docs ├── index.md ├── installation.md ├── notes │ ├── bagof.md │ ├── predicates.md │ └── reserved_command.md ├── reports │ ├── INTEGRATION_STATUS.md │ ├── MEMGUARD_INTEGRATION_SUMMARY.md │ └── MEMORY_SAFETY.md ├── syntax.md ├── tricks.md └── tutor.md ├── examples ├── backtracing.l ├── dictionary.l ├── examples.l ├── factorial.l ├── family.l ├── fibonacci.l ├── generate.l ├── imports.l ├── integers.l ├── kb_prolog.l ├── lists.l ├── map.l ├── max_palindrome.l ├── memguard_demo.c ├── methods.l ├── prime.l ├── server.l ├── string_reasoning.l ├── structs.l ├── syntax.l ├── tickets.l ├── unicode.l ├── uuid.l └── with_parameters.l ├── laure.c ├── lib ├── abstract.l ├── arrays.l ├── atomic.l ├── datetime.l ├── dict.l ├── lib.l ├── string.l ├── table.l └── test │ ├── Makefile │ ├── test.c │ └── test.l ├── minimal.c ├── new_syntax.l ├── readme.md ├── src ├── alloc.c ├── apply.c ├── backtrace.c ├── bigint.c ├── bigint.h ├── builtin.c ├── builtin.h ├── domain.c ├── domain.h ├── error.c ├── expr.h ├── import.c ├── instance.c ├── laureimage.h ├── laurelang.h ├── memguard.c ├── memguard.h ├── order.c ├── parser.c ├── pprint.c ├── predpub.h ├── query.c ├── repl.c ├── repl.h ├── scope.c ├── session.c ├── string.c └── weight.c ├── std ├── array.c ├── bag.c ├── integer.c ├── map.c ├── standard.h ├── union.c └── utility.c ├── test_false_positives.sh ├── test_validation.sh ├── tests ├── abstract.l ├── array.l ├── atom.l ├── bagof.l ├── formatting.l ├── function.l ├── generic.l ├── isolated_set.l ├── kb_pl.l ├── logic.l ├── map.l ├── math.l ├── quantors.l ├── string.l ├── structure.l ├── tests.l └── translators.l └── utility ├── build_pkg.py └── todo.sh /.github/ISSUE_TEMPLATE/bug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.github/ISSUE_TEMPLATE/bug.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.github/ISSUE_TEMPLATE/feature.md -------------------------------------------------------------------------------- /.github/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.github/logo.svg -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/LICENSE -------------------------------------------------------------------------------- /MAKEHELP: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/MAKEHELP -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/Makefile -------------------------------------------------------------------------------- /api/c/api.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/api/c/api.c -------------------------------------------------------------------------------- /api/c/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/api/c/api.h -------------------------------------------------------------------------------- /api/c/application.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/api/c/application.c -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/installation.md -------------------------------------------------------------------------------- /docs/notes/bagof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/notes/bagof.md -------------------------------------------------------------------------------- /docs/notes/predicates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/notes/predicates.md -------------------------------------------------------------------------------- /docs/notes/reserved_command.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/notes/reserved_command.md -------------------------------------------------------------------------------- /docs/reports/INTEGRATION_STATUS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/reports/INTEGRATION_STATUS.md -------------------------------------------------------------------------------- /docs/reports/MEMGUARD_INTEGRATION_SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/reports/MEMGUARD_INTEGRATION_SUMMARY.md -------------------------------------------------------------------------------- /docs/reports/MEMORY_SAFETY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/reports/MEMORY_SAFETY.md -------------------------------------------------------------------------------- /docs/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/syntax.md -------------------------------------------------------------------------------- /docs/tricks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/tricks.md -------------------------------------------------------------------------------- /docs/tutor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/docs/tutor.md -------------------------------------------------------------------------------- /examples/backtracing.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/backtracing.l -------------------------------------------------------------------------------- /examples/dictionary.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/dictionary.l -------------------------------------------------------------------------------- /examples/examples.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/examples.l -------------------------------------------------------------------------------- /examples/factorial.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/factorial.l -------------------------------------------------------------------------------- /examples/family.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/family.l -------------------------------------------------------------------------------- /examples/fibonacci.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/fibonacci.l -------------------------------------------------------------------------------- /examples/generate.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/generate.l -------------------------------------------------------------------------------- /examples/imports.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/imports.l -------------------------------------------------------------------------------- /examples/integers.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/integers.l -------------------------------------------------------------------------------- /examples/kb_prolog.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/kb_prolog.l -------------------------------------------------------------------------------- /examples/lists.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/lists.l -------------------------------------------------------------------------------- /examples/map.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/map.l -------------------------------------------------------------------------------- /examples/max_palindrome.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/max_palindrome.l -------------------------------------------------------------------------------- /examples/memguard_demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/memguard_demo.c -------------------------------------------------------------------------------- /examples/methods.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/methods.l -------------------------------------------------------------------------------- /examples/prime.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/prime.l -------------------------------------------------------------------------------- /examples/server.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/server.l -------------------------------------------------------------------------------- /examples/string_reasoning.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/string_reasoning.l -------------------------------------------------------------------------------- /examples/structs.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/structs.l -------------------------------------------------------------------------------- /examples/syntax.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/syntax.l -------------------------------------------------------------------------------- /examples/tickets.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/tickets.l -------------------------------------------------------------------------------- /examples/unicode.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/unicode.l -------------------------------------------------------------------------------- /examples/uuid.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/uuid.l -------------------------------------------------------------------------------- /examples/with_parameters.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/examples/with_parameters.l -------------------------------------------------------------------------------- /laure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/laure.c -------------------------------------------------------------------------------- /lib/abstract.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/abstract.l -------------------------------------------------------------------------------- /lib/arrays.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/arrays.l -------------------------------------------------------------------------------- /lib/atomic.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/atomic.l -------------------------------------------------------------------------------- /lib/datetime.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/datetime.l -------------------------------------------------------------------------------- /lib/dict.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/dict.l -------------------------------------------------------------------------------- /lib/lib.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/lib.l -------------------------------------------------------------------------------- /lib/string.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/string.l -------------------------------------------------------------------------------- /lib/table.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/table.l -------------------------------------------------------------------------------- /lib/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/test/Makefile -------------------------------------------------------------------------------- /lib/test/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/test/test.c -------------------------------------------------------------------------------- /lib/test/test.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/lib/test/test.l -------------------------------------------------------------------------------- /minimal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/minimal.c -------------------------------------------------------------------------------- /new_syntax.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/new_syntax.l -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/readme.md -------------------------------------------------------------------------------- /src/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/alloc.c -------------------------------------------------------------------------------- /src/apply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/apply.c -------------------------------------------------------------------------------- /src/backtrace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/backtrace.c -------------------------------------------------------------------------------- /src/bigint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/bigint.c -------------------------------------------------------------------------------- /src/bigint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/bigint.h -------------------------------------------------------------------------------- /src/builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/builtin.c -------------------------------------------------------------------------------- /src/builtin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/builtin.h -------------------------------------------------------------------------------- /src/domain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/domain.c -------------------------------------------------------------------------------- /src/domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/domain.h -------------------------------------------------------------------------------- /src/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/error.c -------------------------------------------------------------------------------- /src/expr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/expr.h -------------------------------------------------------------------------------- /src/import.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/import.c -------------------------------------------------------------------------------- /src/instance.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/instance.c -------------------------------------------------------------------------------- /src/laureimage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/laureimage.h -------------------------------------------------------------------------------- /src/laurelang.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/laurelang.h -------------------------------------------------------------------------------- /src/memguard.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/memguard.c -------------------------------------------------------------------------------- /src/memguard.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/memguard.h -------------------------------------------------------------------------------- /src/order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/order.c -------------------------------------------------------------------------------- /src/parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/parser.c -------------------------------------------------------------------------------- /src/pprint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/pprint.c -------------------------------------------------------------------------------- /src/predpub.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/predpub.h -------------------------------------------------------------------------------- /src/query.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/query.c -------------------------------------------------------------------------------- /src/repl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/repl.c -------------------------------------------------------------------------------- /src/repl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/repl.h -------------------------------------------------------------------------------- /src/scope.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/scope.c -------------------------------------------------------------------------------- /src/session.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/session.c -------------------------------------------------------------------------------- /src/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/string.c -------------------------------------------------------------------------------- /src/weight.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/src/weight.c -------------------------------------------------------------------------------- /std/array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/array.c -------------------------------------------------------------------------------- /std/bag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/bag.c -------------------------------------------------------------------------------- /std/integer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/integer.c -------------------------------------------------------------------------------- /std/map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/map.c -------------------------------------------------------------------------------- /std/standard.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/standard.h -------------------------------------------------------------------------------- /std/union.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/union.c -------------------------------------------------------------------------------- /std/utility.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/std/utility.c -------------------------------------------------------------------------------- /test_false_positives.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/test_false_positives.sh -------------------------------------------------------------------------------- /test_validation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/test_validation.sh -------------------------------------------------------------------------------- /tests/abstract.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/abstract.l -------------------------------------------------------------------------------- /tests/array.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/array.l -------------------------------------------------------------------------------- /tests/atom.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/atom.l -------------------------------------------------------------------------------- /tests/bagof.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/bagof.l -------------------------------------------------------------------------------- /tests/formatting.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/formatting.l -------------------------------------------------------------------------------- /tests/function.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/function.l -------------------------------------------------------------------------------- /tests/generic.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/generic.l -------------------------------------------------------------------------------- /tests/isolated_set.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/isolated_set.l -------------------------------------------------------------------------------- /tests/kb_pl.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/kb_pl.l -------------------------------------------------------------------------------- /tests/logic.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/logic.l -------------------------------------------------------------------------------- /tests/map.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/map.l -------------------------------------------------------------------------------- /tests/math.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/math.l -------------------------------------------------------------------------------- /tests/quantors.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/quantors.l -------------------------------------------------------------------------------- /tests/string.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/string.l -------------------------------------------------------------------------------- /tests/structure.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/structure.l -------------------------------------------------------------------------------- /tests/tests.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/tests.l -------------------------------------------------------------------------------- /tests/translators.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/tests/translators.l -------------------------------------------------------------------------------- /utility/build_pkg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/utility/build_pkg.py -------------------------------------------------------------------------------- /utility/todo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/timoniq/laurelang/HEAD/utility/todo.sh --------------------------------------------------------------------------------