132 skills found · Page 2 of 5
seceq / Zkir LlvmLLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
nuprl / MultiPL TKnowledge transfer from high-resource to low-resource programming languages for Code LLMs
reddyprasade / Python Basic For All 3.xWe are going to Learn Python, it is a powerful multi-purpose programming language created by Guido van Rossum. It has simple easy-to-use syntax, making it the perfect language for someone trying to learn computer programming for the first time. This is a comprehensive guide on how to get started in Python, why you should learn it and how you can learn it. However, if you knowledge of other programming languages and want to quickly get started with Python.
djeada / Parallel And Concurrent ProgrammingConcurrent and parallel programming might seem complex, but this guide simplifies it. Learn about sequential vs non-sequential programming, processes, and threads. Explore examples in popular languages like C++, Python, and JavaScript to apply your new knowledge to your projects.
pluck-lang / Pluck.jlAn expressive language for discrete probabilistic programming with lazy knowledge compilation
anujkumarthakur / Rust TutorialIntroduction Note: This edition of the book is the same as The Rust Programming Language available in print and ebook format from No Starch Press. Welcome to The Rust Programming Language, an introductory book about Rust. The Rust programming language helps you write faster, more reliable software. High-level ergonomics and low-level control are often at odds in programming language design; Rust challenges that conflict. Through balancing powerful technical capacity and a great developer experience, Rust gives you the option to control low-level details (such as memory usage) without all the hassle traditionally associated with such control. Who Rust Is For Rust is ideal for many people for a variety of reasons. Let’s look at a few of the most important groups. Teams of Developers Rust is proving to be a productive tool for collaborating among large teams of developers with varying levels of systems programming knowledge. Low-level code is prone to a variety of subtle bugs, which in most other languages can be caught only through extensive testing and careful code review by experienced developers. In Rust, the compiler plays a gatekeeper role by refusing to compile code with these elusive bugs, including concurrency bugs. By working alongside the compiler, the team can spend their time focusing on the program’s logic rather than chasing down bugs. Rust also brings contemporary developer tools to the systems programming world: Cargo, the included dependency manager and build tool, makes adding, compiling, and managing dependencies painless and consistent across the Rust ecosystem. Rustfmt ensures a consistent coding style across developers. The Rust Language Server powers Integrated Development Environment (IDE) integration for code completion and inline error messages. By using these and other tools in the Rust ecosystem, developers can be productive while writing systems-level code. Students Rust is for students and those who are interested in learning about systems concepts. Using Rust, many people have learned about topics like operating systems development. The community is very welcoming and happy to answer student questions. Through efforts such as this book, the Rust teams want to make systems concepts more accessible to more people, especially those new to programming. Companies Hundreds of companies, large and small, use Rust in production for a variety of tasks. Those tasks include command line tools, web services, DevOps tooling, embedded devices, audio and video analysis and transcoding, cryptocurrencies, bioinformatics, search engines, Internet of Things applications, machine learning, and even major parts of the Firefox web browser. Open Source Developers Rust is for people who want to build the Rust programming language, community, developer tools, and libraries. We’d love to have you contribute to the Rust language. People Who Value Speed and Stability Rust is for people who crave speed and stability in a language. By speed, we mean the speed of the programs that you can create with Rust and the speed at which Rust lets you write them. The Rust compiler’s checks ensure stability through feature additions and refactoring. This is in contrast to the brittle legacy code in languages without these checks, which developers are often afraid to modify. By striving for zero-cost abstractions, higher-level features that compile to lower-level code as fast as code written manually, Rust endeavors to make safe code be fast code as well. The Rust language hopes to support many other users as well; those mentioned here are merely some of the biggest stakeholders. Overall, Rust’s greatest ambition is to eliminate the trade-offs that programmers have accepted for decades by providing safety and productivity, speed and ergonomics. Give Rust a try and see if its choices work for you. Who This Book Is For This book assumes that you’ve written code in another programming language but doesn’t make any assumptions about which one. We’ve tried to make the material broadly accessible to those from a wide variety of programming backgrounds. We don’t spend a lot of time talking about what programming is or how to think about it. If you’re entirely new to programming, you would be better served by reading a book that specifically provides an introduction to programming. How to Use This Book In general, this book assumes that you’re reading it in sequence from front to back. Later chapters build on concepts in earlier chapters, and earlier chapters might not delve into details on a topic; we typically revisit the topic in a later chapter. You’ll find two kinds of chapters in this book: concept chapters and project chapters. In concept chapters, you’ll learn about an aspect of Rust. In project chapters, we’ll build small programs together, applying what you’ve learned so far. Chapters 2, 12, and 20 are project chapters; the rest are concept chapters. Chapter 1 explains how to install Rust, how to write a Hello, world! program, and how to use Cargo, Rust’s package manager and build tool. Chapter 2 is a hands-on introduction to the Rust language. Here we cover concepts at a high level, and later chapters will provide additional detail. If you want to get your hands dirty right away, Chapter 2 is the place for that. At first, you might even want to skip Chapter 3, which covers Rust features similar to those of other programming languages, and head straight to Chapter 4 to learn about Rust’s ownership system. However, if you’re a particularly meticulous learner who prefers to learn every detail before moving on to the next, you might want to skip Chapter 2 and go straight to Chapter 3, returning to Chapter 2 when you’d like to work on a project applying the details you’ve learned. Chapter 5 discusses structs and methods, and Chapter 6 covers enums, match expressions, and the if let control flow construct. You’ll use structs and enums to make custom types in Rust. In Chapter 7, you’ll learn about Rust’s module system and about privacy rules for organizing your code and its public Application Programming Interface (API). Chapter 8 discusses some common collection data structures that the standard library provides, such as vectors, strings, and hash maps. Chapter 9 explores Rust’s error-handling philosophy and techniques. Chapter 10 digs into generics, traits, and lifetimes, which give you the power to define code that applies to multiple types. Chapter 11 is all about testing, which even with Rust’s safety guarantees is necessary to ensure your program’s logic is correct. In Chapter 12, we’ll build our own implementation of a subset of functionality from the grep command line tool that searches for text within files. For this, we’ll use many of the concepts we discussed in the previous chapters. Chapter 13 explores closures and iterators: features of Rust that come from functional programming languages. In Chapter 14, we’ll examine Cargo in more depth and talk about best practices for sharing your libraries with others. Chapter 15 discusses smart pointers that the standard library provides and the traits that enable their functionality. In Chapter 16, we’ll walk through different models of concurrent programming and talk about how Rust helps you to program in multiple threads fearlessly. Chapter 17 looks at how Rust idioms compare to object-oriented programming principles you might be familiar with. Chapter 18 is a reference on patterns and pattern matching, which are powerful ways of expressing ideas throughout Rust programs. Chapter 19 contains a smorgasbord of advanced topics of interest, including unsafe Rust, macros, and more about lifetimes, traits, types, functions, and closures. In Chapter 20, we’ll complete a project in which we’ll implement a low-level multithreaded web server! Finally, some appendixes contain useful information about the language in a more reference-like format. Appendix A covers Rust’s keywords, Appendix B covers Rust’s operators and symbols, Appendix C covers derivable traits provided by the standard library, Appendix D covers some useful development tools, and Appendix E explains Rust editions. There is no wrong way to read this book: if you want to skip ahead, go for it! You might have to jump back to earlier chapters if you experience any confusion. But do whatever works for you. An important part of the process of learning Rust is learning how to read the error messages the compiler displays: these will guide you toward working code. As such, we’ll provide many examples that don’t compile along with the error message the compiler will show you in each situation. Know that if you enter and run a random example, it may not compile! Make sure you read the surrounding text to see whether the example you’re trying to run is meant to error. Ferris will also help you distinguish code that isn’t meant to work:
aharri64 / Complete Csharp MasterclassHave you ever had an idea for a program, an app, or a game? Maybe you want to work as a developer? Then you are in the right place. In this course, you are going to discover how to become a c# developer - one of the best programming languages on earth! C# is one of the few programming languages which allows you to create amazing cross-platform Mobile Apps, Games, and PC Programs. Bringing an Idea to life is one of the best feelings one can have, but the path to get there is often full of challenges. So I have created a course that makes this path as easy as possible all with the help of c# so that you become a skilled c# developer! You start off by learning the C# basics and C# programming concepts in general: variables methods arrays if statements loops Then you learn the three pillars of Object-oriented programming. Classes and Objects Inheritance Polymorphism Once you mastered them you will go into advanced C# Topics, such as Databases and LINQ. In order to really become really good in c# programming, you have to program yourself, so I have created loads of exercises (and quizzes) for you to try for yourself to do c# programming and also to see how it is done afterward. Of course, you learn best programming practices along the way. Equipped with those skills, you will build beautiful user interfaces with WPF - A framework, which makes creating GUI’s a piece of cake. By that point, you can create your very own complex programs. But what comes next is even cooler. Learn Game Development with Unity and C# - Build 2 awesome games As C# can be used for multiple different areas of programming, I have decided to cover the most important ones. So I have added a whole bunch of chapters specifically designed for a C# developer and Unity game developer - arguably the best Game Engine in the world. In those chapters, you will discover how to create your very own video games by building pong, the mother of video games and zig-zag, an amazing and successful endless runner game. We live in a world, where knowledge and work are shared more than ever, so using assets provided by others is a huge boost to your progress. You will learn how to use 3D assets to make an endless runner. Then you’ll use animations, reset the game, use particle systems, and finally create a map procedurally. That’s quite some advanced stuff right there. I know that learning to code can be hard at times, and sometimes you just get stuck. But no worries, we are there for you. We answer each question as quickly as we can and make sure that you reach your goal of becoming a developer. WHO IS THIS COURSE FOR? The course is for anyone, who wants to learn c# and wants to become professionally good in c# programming. No experience is required whatsoever. It is designed that anyone who can handle a mouse and keyboard will succeed in finishing it. The only real requisite is the desire to learn. 30-DAY FULL MONEY-BACK GUARANTEE This course comes with a 30-day full money-back guarantee. Take the course, watch every lecture, and do the exercises, and if you feel like this course is not for you, ask for a full refund within 30 days. All your money back, no questions asked. ABOUT YOUR INSTRUCTOR: My name is Denis Panjuta and in my courses, I have taught over 150.000 students how to code. I have a Bachelor of Engineering at the University of Applied Sciences in Constance (Germany). I love teaching and creating high-quality courses. My mission is, to teach programming to over 10.000.000 people! As you see, this is the only C# course you will ever need! You will learn all the c# fundamentals, all c# basics, and everything that you need to know to succeed in c# programming and building your own cool video games! So don’t waste any more time and start to make your dreams and ideas come true by taking this course now Who this course is for: Everyone who wants to learn C# Everyone who wants to build cross plattform video games with Unity 3D Everyone who wants to build Pc programs with a beautiful UI using WPF
Mepy / Langue.meA Programming Language Developed for Learning the Knowledge in PL.
seanpm2001 / Learn HolyCA repository for showcasing my knowledge of the HolyC programming language, and continuing to learn the language
fifthlang / FifthlangFifth is a .NET 10.0 systems programming language combining imperative and functional programming with first-class knowledge graph and semantic web support. It offers a modified C#-like syntax enhanced with Erlang-inspired function overloading, parameter destructuring, and guard clauses.
sattwik21 / Python PracticeAny contributor is free to add his Project or Program file using Python language. This repository's sole aim is to increase the knowledge about Open Source Contribution and for beginners to understand Git and Github
seanpm2001 / Learn AppleScriptA repository for showcasing my knowledge of the AppleScript programming language, and continuing to learn the language.
navidmdn / Logic Based QaCode and notebooks and data for the paper "Domain Specific Question Answering Over Knowledge Graphs Using Logical Programming and Large Language Models"
YuhanLiin / Lexer And Parser PythonA complete parser generator which tokenizes the input string before creating a abstract syntax tree by processing the tokens with a context-free grammar. The tokens are defined using the regex library and the actual parser an implementation of Earley's parsing algorithm. This personal project was created after I had finished the Programming Languages course from Udacity and is my way of applying my newly gained knowledge on parsers as a personal "final project".
seanpm2001 / Learn C Plus PlusA repository for showcasing my knowledge of the C++ programming language, and continuing to learn the language.
seanpm2001 / Learn RPGLEA repository for showcasing my knowledge of the RGPLE programming language, and continuing to learn the language.
AnkanMisra / Collaborative Code PlaygroundCollaborative Code Playground or CodePlay is a real-time platform where developers can code together seamlessly. Built with React, Tailwind, and TypeScript, it features multi-language support, code execution, and integrated chat functionality—making pair programming, knowledge sharing, and learning from peers effortless.
satishchandhu97 / Chatter BotChatterBot: Machine learning in Python ChatterBot ChatterBot is a machine-learning based conversational dialog engine build in Python which makes it possible to generate responses based on collections of known conversations. The language independent design of ChatterBot allows it to be trained to speak any language. Package Version Python 3.6 Django 2.0 Requirements Status Build Status Documentation Status Coverage Status Code Climate Join the chat at https://gitter.im/chatterbot/Lobby An example of typical input would be something like this: user: Good morning! How are you doing? bot: I am doing very well, thank you for asking. user: You're welcome. bot: Do you like hats? How it works An untrained instance of ChatterBot starts off with no knowledge of how to communicate. Each time a user enters a statement, the library saves the text that they entered and the text that the statement was in response to. As ChatterBot receives more input the number of responses that it can reply and the accuracy of each response in relation to the input statement increase. The program selects the closest matching response by searching for the closest matching known statement that matches the input, it then returns the most likely response to that statement based on how frequently each response is issued by the people the bot communicates with. Installation This package can be installed from PyPi by running: pip install chatterbot Basic Usage from chatterbot import ChatBot from chatterbot.trainers import ChatterBotCorpusTrainer chatbot = ChatBot('Ron Obvious') # Create a new trainer for the chatbot trainer = ChatterBotCorpusTrainer(chatbot) # Train the chatbot based on the english corpus trainer.train("chatterbot.corpus.english") # Get a response to an input statement chatbot.get_response("Hello, how are you today?") Training data ChatterBot comes with a data utility module that can be used to train chat bots. At the moment there is training data for over a dozen languages in this module. Contributions of additional training data or training data in other languages would be greatly appreciated. Take a look at the data files in the chatterbot-corpus package if you are interested in contributing. from chatterbot.trainers import ChatterBotCorpusTrainer # Create a new trainer for the chatbot trainer = ChatterBotCorpusTrainer(chatbot) # Train based on the english corpus trainer.train("chatterbot.corpus.english") # Train based on english greetings corpus trainer.train("chatterbot.corpus.english.greetings") # Train based on the english conversations corpus trainer.train("chatterbot.corpus.english.conversations") Corpus contributions are welcome! Please make a pull request. Documentation View the documentation for ChatterBot on Read the Docs. To build the documentation yourself using Sphinx, run: sphinx-build -b html docs/ build/ Examples For examples, see the examples directory in this project's git repository. There is also an example Django project using ChatterBot, as well as an example Flask project using ChatterBot. History See release notes for changes https://github.com/gunthercox/ChatterBot/releases Development pattern for contributors Create a fork of the main ChatterBot repository on GitHub. Make your changes in a branch named something different from master, e.g. create a new branch my-pull-request. Create a pull request. Please follow the Python style guide for PEP-8. Use the projects built-in automated testing. to help make sure that your contribution is free from errors. License ChatterBot is licensed under the BSD 3-clause license.
seanpm2001 / Learn BrightScriptA repository for showcasing my knowledge of the BrightScript programming language, and continuing to learn the language.
seanpm2001 / Learn MalbolgeA repository for showcasing my knowledge of the Malbolge programming language, and continuing to learn the language.
