GitPlanet
All Projects → Type Challenges → Similar Projects or Alternatives

52 Open source projects that are alternatives of or similar to Type Challenges

Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (-71.66%)
Mutual labels:  type-system
code-challenges
algorithm code challenges solutions (codility / hackerrank / eular / topcoder)
Stars: ✭ 84 (-99.22%)
Mutual labels:  challenges
core
The XP Framework is an all-purpose, object oriented PHP framework.
Stars: ✭ 13 (-99.88%)
Mutual labels:  type-system
Challenges
ICDSS Advanced Data Science Team Challenges 2020-2021
Stars: ✭ 14 (-99.87%)
Mutual labels:  challenges
typeql
TypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (-98.55%)
Mutual labels:  type-system
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-99.79%)
Mutual labels:  type-system
tix
[WIP] A type system for nix
Stars: ✭ 59 (-99.45%)
Mutual labels:  type-system
EasyEuler
A command line tool for Project Euler
Stars: ✭ 29 (-99.73%)
Mutual labels:  challenges
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (-98.74%)
Mutual labels:  type-system
duolingo-solution-viewer
A browser extension providing access to the lists of solutions to the translation / listening challenges on Duolingo, and restoring the correction of typos for listening challenges.
Stars: ✭ 31 (-99.71%)
Mutual labels:  challenges
rot13
This is a collection of ROT13 encoding programms written in different languages. Just for fun.
Stars: ✭ 24 (-99.78%)
Mutual labels:  challenges
codewars-python
No description or website provided.
Stars: ✭ 20 (-99.82%)
Mutual labels:  challenges
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-99.37%)
Mutual labels:  type-system
easy-to-git
👩‍🔬 👨‍💻 A project designed to start you on your journey as an Open-source contributor
Stars: ✭ 33 (-99.69%)
Mutual labels:  challenges
CodeSignal-Solutions
CodeSignal solutions
Stars: ✭ 112 (-98.96%)
Mutual labels:  challenges
desafios flutterando
Repositório destinado aos desafios proposto pela comunidade Fluterando.
Stars: ✭ 33 (-99.69%)
Mutual labels:  challenges
AIODrive
Official Python/PyTorch Implementation for "All-In-One Drive: A Large-Scale Comprehensive Perception Dataset with High-Density Long-Range Point Clouds"
Stars: ✭ 32 (-99.7%)
Mutual labels:  challenges
desafios-DIO
Desafios em C#, Java, JavaScript, Kotlin, Python e Ruby dos Bootcamps da Digital Innovation One
Stars: ✭ 140 (-98.71%)
Mutual labels:  challenges
Flutter UI Projects
Repositório destinado a criaçao de telas em Flutter, tendo seu maior foco a UI.
Stars: ✭ 30 (-99.72%)
Mutual labels:  challenges
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-99.82%)
Mutual labels:  type-system
get hired training
A set of videos and tips to help our students to be hired as developers 💯
Stars: ✭ 18 (-99.83%)
Mutual labels:  challenges
TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (-97.95%)
Mutual labels:  type-system
Project-Euler
Send PRs to contribute and see the Codemasters solving some really mind boggling questions.
Stars: ✭ 21 (-99.81%)
Mutual labels:  challenges
fun-algorithms
Basic problems with solution which are mostly asked in the interviews.
Stars: ✭ 24 (-99.78%)
Mutual labels:  challenges
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (-70.85%)
Mutual labels:  type-system
noobtoberfest
Game-coding challenge for everyone who wants to contribute to an open-source project for Hacktoberfest 2020 🎮
Stars: ✭ 32 (-99.7%)
Mutual labels:  challenges
anders
🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-99.95%)
Mutual labels:  type-system
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-99.68%)
Mutual labels:  type-system
challenges
My solutions for random coding challenges 💪
Stars: ✭ 44 (-99.59%)
Mutual labels:  challenges
cicada
Cicada Language
Stars: ✭ 9 (-99.92%)
Mutual labels:  type-system
XF MicunaFood
Xamarin.Forms UI/UX Challenges - Micuna Food
Stars: ✭ 26 (-99.76%)
Mutual labels:  challenges
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-99.59%)
Mutual labels:  type-system
HackerrankJAVA
This repository consists of Hackerrank JAVA Solutions
Stars: ✭ 31 (-99.71%)
Mutual labels:  challenges
type-operators-rs
A macro for defining type operators in Rust.
Stars: ✭ 56 (-99.48%)
Mutual labels:  type-system
js-challenges
Repo to store telegram's @js_challenges
Stars: ✭ 14 (-99.87%)
Mutual labels:  challenges
plt-research
A collection of PLT researching
Stars: ✭ 29 (-99.73%)
Mutual labels:  type-system
moveIt
⏱️ Recupere o foco e seja mais produtivo com o Move.it!
Stars: ✭ 17 (-99.84%)
Mutual labels:  challenges
pyrser
A PEG Parsing Tool
Stars: ✭ 32 (-99.7%)
Mutual labels:  type-system
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-99.89%)
Mutual labels:  type-system
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-99.86%)
Mutual labels:  type-system
server
Core server in the Alkemio platform, offering a GraphQL api for interacting with the logical domain model.
Stars: ✭ 20 (-99.82%)
Mutual labels:  challenges
chall.stypr.com
Stereotyped Challenges (2014~2023)
Stars: ✭ 59 (-99.45%)
Mutual labels:  challenges
felipefriends
[stopped 🚧] Instruções iniciais e desafios do @training-center
Stars: ✭ 55 (-99.49%)
Mutual labels:  challenges
the-great-courses-of-the-Internet
List of the great courses of the internet
Stars: ✭ 20 (-99.82%)
Mutual labels:  challenges
Test-Bank
Interview preparation and practice problems
Stars: ✭ 43 (-99.6%)
Mutual labels:  challenges
alkemio
START HERE! Cross project collaboration and shared documentation.
Stars: ✭ 22 (-99.8%)
Mutual labels:  challenges
Truth
A Domain Representation Language
Stars: ✭ 23 (-99.79%)
Mutual labels:  type-system
f-omega-mu
Fωμ type checker and compiler
Stars: ✭ 46 (-99.57%)
Mutual labels:  type-system
Javascript Code Challenges
A collection of JavaScript modern interview code challenges for beginners to experts
Stars: ✭ 2,710 (-74.94%)
Mutual labels:  challenges
Frontend Challenges
💥 Listing some playful open-source's challenges of companies to test your knowledge
Stars: ✭ 7,211 (-33.31%)
Mutual labels:  challenges
Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (-72.74%)
Mutual labels:  type-system
Reading
A list of computer-science readings I recommend
Stars: ✭ 1,919 (-82.25%)
Mutual labels:  type-system
1-52 of 52 similar projects