214 Open source projects that are alternatives of or similar to Ejercicios-Practicos

Solutions for the book "Language Proof and Logic".

A repository to practice contributing to a Manubot manuscript

Scala 3 workshop presenting the top new features of the language.

COMPETITIVE PROGRAMMING PRACTICE QUESTIONS

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Repository for an article "10 Javascript exercises with arrays"

Materials for Docker Advanced training

A workshop on Node.js Streams

Source code and solutions of exercises to The C Programming Language 2nd Edition by Brian W. Kernighan and Dennis M. Ritchie

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

One can follow to excel in coding if you are a noob!!

Sheet Music Creation, Groove Experimentation, and Practice Tool for drummers.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Haskell bindings for PicoSAT solver

Questions and solutions (in Java) for technical CS interview problems

My Golang training material for testing smaller Go concepts and ideas.

A deliberate practice framework to help you learn Ruby

Information Retrieval algorithms developed in python. To follow the blog posts, click on the link:

XAI Tutorial for the Explainable AI track in the ALPS winter school 2021

Data Structures & Algorithms - A Comprehensive Guide

This is where the Novoda team do all their hacking

Build Java applications with the application programming model on SAP Cloud Platform.

CyberQueens lesson materials - learning resources and exercises for aspiring reverse engineers, exploit developers, and hackers 👩‍💻👨‍💻

react-native practice albums' project.

😎 Java™ modern tech practice sandbox ⏳

Build and evaluate JsonLogic with React components

Version 2 of my Crazy Small CPU

A book of questions for practise in Rust

HenCoder 练习项目- Kotlin 版

Logic Circuits from the Juice library

All Algorithms implemented in Python

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Сборник практических вопросов, задач разного уровня сложности, сниппетов (утилит), паттерны проектирования, а также полезные ссылки по JavaScript

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Rails 5 RESTful api template

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

This is a Sphinx adaptation of Chaun C. Chang's book, "Fundamentals of Piano Practice."

Open Public Domain Exercise Dataset in JSON format

5,000 past questions api end points for POST-UTME, UTME, WASSCE, NECO questions

Course on Dynamic Stochastic General Equilibrium (DSGE): Models, Solution, Estimation (graduate level)

一个Vue制作的冒险游戏

A playback practice tool for musicians that allows slowing down, changing pitch, defining presets and loops on music files.

前端练手项目

web application for team members to typing library

Fitch style proof constructor

A curated list of code katas

deep learning: theory + practice

☔️ Implementations of mathematical functions, formulas and concepts

HDLBits website practices & solutions

Examples of ios applications http://www.novoda.com/blog

PacktPub "Mastering Functional Programming with JavaScript" video course materials

Guides for getting things done, programming well, and programming in style.

A Deliberately Insecure Web Application

covers python basic to advance topics, practice questions, logical problems in python, web development using html, css, bootstrap, jquery, DOM, Django 🚀🚀. 💥 🌈

🖌️ Drawing area widget for Anki to practice Kanji writing

Example based guide to mastering JavaScript regexp

My practice for basic CRUD of Laravel5 on Heroku.

vAPI is Vulnerable Adversely Programmed Interface which is Self-Hostable API that mimics OWASP API Top 10 scenarios through Exercises.

TypeDB: a strongly-typed database