2 रिपॉजिटरी
Awesome GitHub RepositoriesInteractive Function Execution
Capabilities for invoking loaded functions by name via an interactive prompt or REPL.
Distinct from Internal Function Invocation: None of the candidates cover high-level interactive invocation via prompt/tab-completion; they focus on memory manipulation or API endpoints.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Interactive Function Execution. Refine with filters or upvote what's useful.
Awesome Interactive Function Execution GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- adambard/learnxinyminutes-docs
adambard/learnxinyminutes-docs
12,287GitHub पर देखेंThis project is a collection of programming language references and syntax cheat sheets designed for rapid developer onboarding. It serves as a library of code-based documentation that uses valid source code files to provide whirlwind tours of various language specifications. The project focuses on programming language learning by providing concise, commented code examples that explain core features and syntax in place. This approach enables developers to quickly grasp language-specific patterns, data types, and execution flow through a consistent reference format. The content covers a broad
Demonstrates how to interactively execute functions and test logic using a command-line interface.
Markdown - coq/coq
coq/coq
5,488GitHub पर देखेंCoq एक इंटरैक्टिव प्रमेय प्रोवर (theorem prover) और प्रमाण सहायक है जिसका उपयोग औपचारिक गणितीय सत्यापन और सत्यापित सॉफ़्टवेयर विकास के लिए किया जाता है। यह गणना योग्य फ़ंक्शंस और तार्किक प्रस्तावों को परिभाषित करने के लिए Gallina कार्यात्मक भाषा का उपयोग करता है, जिन्हें फिर एक मशीन-चेक्ड कर्नेल के माध्यम से सत्यापित किया जाता है। यह सिस्टम प्रमाण खोज और रणनीति निष्पादन को ऑटोमेट करने के लिए एक आश्रित टाइप सिस्टम और Caldicott-शैली प्रमाण इंजन का उपयोग करता है। ये क्षमताएं औपचारिक विनिर्देशों के निर्माण और ऐसे एल्गोरिदम के विकास की अनुमति देती हैं जो विशिष्ट आवश्यकताओं को पूरा करने के लिए गणितीय रूप से सिद्ध होते हैं। टूलसेट में आगमनात्मक (inductive) टाइप परिभाषाओं, सुव्यवस्थित पुनरावृत्ति और वास्तविक संख्याओं के विभिन्न अभ्यावेदन के लिए समर्थन शामिल है। यह औपचारिक विनिर्देशों को बाहरी प्रोग्रामिंग भाषाओं के लिए निष्पादन योग्य सोर्स कोड में निर्यात करने के लिए एक अनुवाद प्रणाली प्रदान करता है और गणना में तेजी लाने के लिए नेटिव कोड संकलन का समर्थन करता है। एनवायरनमेंट कोड एडिटर्स और IDEs के साथ एकीकृत होता है, जो अतिरिक्त लाइब्रेरीज़ के लिए स्वचालित एनवायरनमेंट सेटअप और बाहरी पैकेज प्रबंधन प्रदान करता है।
Includes an interactive tool for evaluating functions and expressions within the prover to verify computational results.
OCaml
