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

Practice your Python programming skills with this interactive and auto-graded set of exercises.

A collection of coding exercises to be completed in conjunction the lessons available on elixirschool.com

Learn System Design step by step

✨practice for SICP, the wizard book < Structure and Interpretation of Computer Programs >

A symbolic model checker for Dynamic Epistemic Logic.

Репозиторий практик факультета ИТиАБД направления Прикладной Информатики в Финансовом Университете при Правительстве РФ

🚀 Curated collection of Awesome Python Scripts which will make you go wow. Dive into this world of 360+ scripts. Feel free to contribute. Show your support by ✨this repository.

Model finder for higher-order logic

Competitive programming practice

Code examples and exercises for Safari LiveTraining course.

Learning data structures, algorithms, machine learning and various computer science constructs by programming practice from resources around the web.

Coding for food

Javascript assignments, tasks and katas

A free, open source, online digital circuit/logic designer.

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Exercises for Rithm School's free online React Fundamentals course

INACTIVE: Move your mouse, generate code from flow chart

A complete guide to start and improve in machine learning (ML), artificial intelligence (AI) in 2022 without ANY background in the field and stay up-to-date with the latest news and state-of-the-art techniques!

🌈Let us explore the charm of Python together!

Small exercises to get you used to reading and writing Julia code!

🚑 GPE 小幫手－拯救你我的程式檢定考試

Workshop: Micromagnetics with Ubermag

Repo containing exercises to learn Elixir

A Google Chrome extension which adds a timer to practice timed problem solving on codeforces

O(N log N)-space IPC solver in OCaml

Python 3 - Curso em Vídeo

Mais de 100 exercícios resolvidos do curso de fundamentos de Python 3, ministrado pelo prof. Gustavo Guanabara do Curso em Vídeo.

A repository to practice contributing to a Manubot manuscript

COMPETITIVE PROGRAMMING PRACTICE QUESTIONS

Repository for an article "10 Javascript exercises with arrays"

A workshop on Node.js Streams

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

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

Haskell bindings for PicoSAT solver

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

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

Data Structures & Algorithms - A Comprehensive Guide

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

react-native practice albums' project.

Build and evaluate JsonLogic with React components

A book of questions for practise in Rust

Logic Circuits from the Juice library

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

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

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

Open Public Domain Exercise Dataset in JSON format

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

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

deep learning: theory + practice

HDLBits website practices & solutions

PacktPub "Mastering Functional Programming with JavaScript" video course materials

A Deliberately Insecure Web Application

Example based guide for text processing with perl from the command line

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

🖌️ 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.