jscoq
freeCodeCamp
| jscoq | freeCodeCamp | |
|---|---|---|
| 1 | 39 | |
| 502 | 388,278 | |
| -0.2% | 0.7% | |
| 7.7 | 10.0 | |
| 6 months ago | 4 days ago | |
| TypeScript | TypeScript | |
| GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
jscoq
-
Online theorem provers
I have found some instances of jsCoq but nothing else. Do you know some other online platform? (Whatever the underlying prover or logic)
freeCodeCamp
- Good coding groups for black women?
-
Codepen, React and Front End Development Libraries Projects
there are issues making codepen work with React, more so with the newest version, they even refer on the FFC to https://github.com/freeCodeCamp/freeCodeCamp/issues/45922
-
5 Open-Source Projects That Will Elevate Your Coding Game in 2024
⭐ FreeCodeCamp on GitHub
-
10 Issues That Will Help You Grow as a top contributor in Opensource 🏅🏅
Move the confetti logic to the related redux-saga #51908
-
How Open Source helped me get into the GitHub Octernships program.
I started open source software development a few months into my last internship, after one of my colleagues suggested it. When I made my first open source contribution, I realized how much of an impact I could create with this work, especially because of the size of the org I contributed to. My first PR was a feature that I added to the freeCodeCamp codebase; this repo has the highest number of stars on GitHub! I made this contribution in October, and to my surprise, I got an email in December informing me that I was one of the top contributors of 2022 to the freeCodeCamp codebase because of this contribution! I was elated and the sense of satisfaction that I got from this feat was something that I had not experienced before. freeCodeCamp was also the first open source community I was a part of, interacting with the maintainers in their Discord server daily to get my PRs merged and learn more about the codebase!
-
5 Awesome GitHub Repositories To Contribute To!
View on GitHub
-
Aspiring web developer; about to lose wifi for a long period. How can I spend my time learning without internet (much) access?
Your could setup FreeCodeCamp to use locally so you can carry on with your studies.
-
What are some of your favorite projects to support on GitHub?
I support financially: https://github.com/freeCodeCamp/freeCodeCamp they have done good work both on the dev side and the devops side.
- Studying Computer science for games in Algeria?
-
Stuck at Exercise Tracker
First of all, there are the tests: https://github.com/freeCodeCamp/freeCodeCamp/blob/main/curriculum/challenges/english/05-back-end-development-and-apis/back-end-development-and-apis-projects/exercise-tracker.md
What are some alternatives?
Vue.js - This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core
developer-roadmap - Interactive roadmaps, guides and other educational content to help developers grow in their careers.
hardhat-starter-kit - A repo for boilerplate code for testing, deploying, and shipping chainlink solidity code.
html5-boilerplate - A professional front-end template for building fast, robust, and adaptable web apps or sites.
tech-interview-handbook - 💯 Curated coding interview preparation materials for busy software engineers
free-programming-books - :books: Freely available programming books
coding-interview-university - A complete computer science study plan to become a software engineer.
julia - Julia set in JavaScript with zoom and pan
awesome-interview-questions - :octocat: A curated awesome list of lists of interview questions. Feel free to contribute! :mortar_board:
Front-End-Checklist - 🗂 The perfect Front-End Checklist for modern websites and meticulous developers
xyz - An open source javascript framework for spatial data and application interfaces.
33-js-concepts - 📜 33 JavaScript concepts every developer should know.