Stars
5
Forks
0
Language
Ada
Last Updated
Jun 25, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Python | 5 | In this repository contains program for some basic games.... | Oct 05, 2022 | |
C++ | 2 | This repository contains c++ programs from basic to advanced. | Mar 02, 2021 | |
None | 2 | Examples and exercises from the book Program Proofs translated to Gobra | Nov 11, 2023 | |
Lean | 24 | Formalizing "Proofs from THE BOOK" | Apr 22, 2023 | |
Python | 31 | This repository contains a curated selection of verified testdata. | Jun 17, 2022 | |
SCSS | 2 | This repository contains some challenges from Frontend Mentors | Jun 28, 2022 | |
C++ | 8 | This repository contains various C++ Programs. | Aug 10, 2022 | |
Jupyter Notebook | 2 | This repository contains machine learning programs. | Jun 29, 2022 | |
Shell | 2 | This Repository contains Shell Scripting Programs. | Apr 25, 2021 | |
Python | 2 | This repository contains Python basic programs. | Feb 09, 2023 | |
C++ | 13 | This repository contains various C++ Programs. | Jun 30, 2023 | |
C | 6 | this repository contains some basic C programs which are useful for beginners | Jan 16, 2023 | |
C | 2 | This repository contains all the programs from basic to advance. | Mar 31, 2022 | |
Python | 2 | This repository contains python programs from basic to advance level | May 27, 2023 | |
Makefile | 2 | This repository contains code examples from some programming languages | Apr 29, 2023 | |
C++ | 4 | This repository contains some basic programs of C++ that depict the OOPS Concepts. | Jun 24, 2022 | |
JavaScript | 3 | This repository contains my practices with some technologies. | Jan 04, 2023 | |
Jupyter Notebook | 3 | This repository contains python programs for beginners | May 29, 2022 | |
C | 2 | This Repository contains programs of data structures | Mar 11, 2021 | |
None | 6 | This repository contains the source of "The Machinery book " and some other books. | Aug 04, 2022 | |
Jupyter Notebook | 2 | This repository contains some most popular concepts completely from scratch. | Mar 10, 2023 | |
None | 2 | This repository contains some usefull tools | Apr 24, 2023 | |
Shell | 4 | This repository contains some k8s examples | Mar 22, 2020 | |
None | 2 | This Repository Contains all SRM elab Java Programs! | Sep 24, 2021 | |
R | 2 | This repository contains statistical programs programmed in R. | Oct 31, 2021 | |
Java | 2 | This repository contains pattern generating programs in Java. | Nov 16, 2022 | |
C++ | 2 | This repository contains all programs of competitive coding | Oct 10, 2021 | |
C++ | 2 | This repository contains C++ programs based on recursion | Mar 05, 2023 | |
Makefile | 21 | Syntaxes with Binding, Their Programs, and Proofs | Jan 28, 2023 | |
C# | 339 | This repository contains full code examples from the book Gray Hat C# | Aug 09, 2022 | |
C | 2 | This Repo contains documentation to the HiFive1 Board along with some example programs. | Jan 16, 2024 | |
Shell | 2 | This repository contains some files from configs for my Ubuntu Machine | Apr 28, 2023 | |
Java | 2 | This repository contains number of Advance Java programs from basic to intermediate level. | Feb 14, 2024 | |
Python | 3 | This repository contains some codes of MySQL Connectivity with python. | May 09, 2022 | |
TypeScript | 3 | This repository contains some basic Angular Applications. | Jul 21, 2022 | |
CSS | 2 | This Repository Contains Some web development Projects. | Nov 16, 2021 | |
None | 2 | This Repository Contains Some web development Projects. | Jul 01, 2022 | |
Dockerfile | 18 | This repository contains some useful Docker images. | May 25, 2022 | |
JavaScript | 3 | This Repository Contains Some web development Projects. | Jun 13, 2023 | |
Java | 2 | This Repository contains basic programs in JAVA programming language. | Nov 08, 2022 | |
C | 2 | This Repository Contains All of My C & C++ Programs | Aug 31, 2023 | |
Java | 3782 | Example code from Learning Spark book | Aug 11, 2022 | |
C++ | 2 | This repository contains programs from online competitive platforms and all other programs that I have … | Nov 16, 2021 | |
Java | 2 | This repository contains some datasets extracted from bugzilla, software to analyze them and some results. | Mar 18, 2022 | |
TeX | 5 | :book: This repository contains template for common MAI works. | May 23, 2022 | |
Java | 5 | This Repository contains Programs for Object-Oriented Programming with Java Lab, Semester 3. | Jan 18, 2023 | |
Swift | 3 | This repository contains different iOS related demo with some deep thought. | Jun 23, 2022 | |
None | 2 | This repository contains Big data hadoop and spark developer project datasets | Jun 16, 2022 | |
C++ | 8 | This repository contains template(s) for GLUT based C++ programs | Feb 20, 2023 | |
None | 3 | This repository contains some details about abusing outlook. | Feb 05, 2023 |