Search Results for "code"
Sort By:
Showing 3 open source projects for "code"
View related business solutions-
Get full visibility and control over your tasks and projects with Wrike.Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
-
Junie, the AI coding agent by JetBrainsJunie is an AI-powered coding agent developed by JetBrains designed to enhance developer productivity by integrating directly into popular IDEs such as IntelliJ IDEA, PyCharm, and Android Studio. It supports developers by assisting with code completion, testing, and inspections, ensuring code quality and reducing debugging time.
-
1
KAREL 3D
Learning programming language for kids
...JavaScript variant include only one small HTML file tested and works on all devices with keyboard and full JavaScript support in internet browser, or alternative pre-compiled JAVA V8 .jar file with webEngine and JavaFX and code in string. ZIP Contains examples in TXT file. More pictures and examples is here at Wiki. Wiki include ZIP with scan of original historical manuals in Slovak language from years 1987 - 1990 Today exist some variants (not mine) like: LightBot or Swift Playgrounds on tablets. Karel 3D from Version 8 is different from other Karels, can bulid a Bridges. ... -
2
EsoTransformer is a kind of a translator which translates esoteric languages like Brainfuck into more common programming languages as Java or C++.
-
3
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...
- Previous
- You're on page 1
- Next
