All Projects → coq → Similar Projects or Alternatives

41 Open source projects that are alternatives of or similar to coq

nim
Exercism exercises in Nim.
Stars: ✭ 43 (+186.67%)
Mutual labels:  exercism-track
plsql
Exercism exercises in PL/SQL.
Stars: ✭ 22 (+46.67%)
Mutual labels:  exercism-track
babashka
Exercism exercises in Babashka.
Stars: ✭ 12 (-20%)
Mutual labels:  exercism-track
x86-64-assembly
Exercism exercises in x86-64 Assembly.
Stars: ✭ 19 (+26.67%)
Mutual labels:  exercism-track
emacs-lisp
Exercism exercises in Emacs Lisp.
Stars: ✭ 40 (+166.67%)
Mutual labels:  exercism-track
sml
Exercism exercises in Standard ML.
Stars: ✭ 21 (+40%)
Mutual labels:  exercism-track
vimscript
Exercism exercises in Vim script.
Stars: ✭ 19 (+26.67%)
Mutual labels:  exercism-track
clojure
Exercism exercises in Clojure.
Stars: ✭ 125 (+733.33%)
Mutual labels:  exercism-track
swift
Exercism exercises in Swift.
Stars: ✭ 89 (+493.33%)
Mutual labels:  exercism-track
pony
Exercism exercises in Pony.
Stars: ✭ 34 (+126.67%)
Mutual labels:  exercism-track
mips
Exercism exercises in MIPS Assembly.
Stars: ✭ 19 (+26.67%)
Mutual labels:  exercism-track
raku
Exercism exercises in Raku
Stars: ✭ 19 (+26.67%)
Mutual labels:  exercism-track
dart
Exercism exercises in Dart.
Stars: ✭ 43 (+186.67%)
Mutual labels:  exercism-track
Javascript
Exercism exercises in JavaScript.
Stars: ✭ 245 (+1533.33%)
Mutual labels:  exercism-track
C
Exercism exercises in C.
Stars: ✭ 177 (+1080%)
Mutual labels:  exercism-track
Csharp
Exercism exercises in C#.
Stars: ✭ 169 (+1026.67%)
Mutual labels:  exercism-track
Cpp
Exercism exercises in C++.
Stars: ✭ 156 (+940%)
Mutual labels:  exercism-track
Kotlin
Exercism exercises in Kotlin.
Stars: ✭ 128 (+753.33%)
Mutual labels:  exercism-track
Erlang
Exercism exercises in Erlang.
Stars: ✭ 105 (+600%)
Mutual labels:  exercism-track
Php
Exercism exercises in PHP.
Stars: ✭ 100 (+566.67%)
Mutual labels:  exercism-track
Elm
Exercism exercises in Elm.
Stars: ✭ 100 (+566.67%)
Mutual labels:  exercism-track
Scala
Exercism exercises in Scala.
Stars: ✭ 88 (+486.67%)
Mutual labels:  exercism-track
Fsharp
Exercism exercises in F#.
Stars: ✭ 77 (+413.33%)
Mutual labels:  exercism-track
Bash
Exercism exercises in Bash.
Stars: ✭ 74 (+393.33%)
Mutual labels:  exercism-track
Coffeescript
Exercism exercises in CoffeeScript.
Stars: ✭ 11 (-26.67%)
Mutual labels:  exercism-track
Idris
Exercism exercises in Idris.
Stars: ✭ 25 (+66.67%)
Mutual labels:  exercism-track
Delphi
Exercism exercises in Delphi Pascal.
Stars: ✭ 24 (+60%)
Mutual labels:  exercism-track
Python
Exercism exercises in Python.
Stars: ✭ 922 (+6046.67%)
Mutual labels:  exercism-track
Prolog
Exercism exercises in Prolog.
Stars: ✭ 18 (+20%)
Mutual labels:  exercism-track
Lfe
Exercism exercises in Lisp Flavoured Erlang (LFE).
Stars: ✭ 17 (+13.33%)
Mutual labels:  exercism-track
Rust
Exercism exercises in Rust.
Stars: ✭ 651 (+4240%)
Mutual labels:  exercism-track
Go
Exercism exercises in Go.
Stars: ✭ 547 (+3546.67%)
Mutual labels:  exercism-track
Elixir
Exercism exercises in Elixir.
Stars: ✭ 400 (+2566.67%)
Mutual labels:  exercism-track
Java
Exercism exercises in Java.
Stars: ✭ 393 (+2520%)
Mutual labels:  exercism-track
Ruby
Exercism exercises in Ruby.
Stars: ✭ 381 (+2440%)
Mutual labels:  exercism-track
Haskell
Exercism exercises in Haskell.
Stars: ✭ 351 (+2240%)
Mutual labels:  exercism-track
pharo-smalltalk
exercism.org/tracks/pharo-smalltalk
Stars: ✭ 24 (+60%)
Mutual labels:  exercism-track
perl5
Exercism exercises in Perl 5.
Stars: ✭ 25 (+66.67%)
Mutual labels:  exercism-track
groovy
Exercism exercises in Groovy.
Stars: ✭ 18 (+20%)
Mutual labels:  exercism-track
common-lisp
Exercism exercises in Common Lisp.
Stars: ✭ 65 (+333.33%)
Mutual labels:  exercism-track
d
Exercism exercises in D.
Stars: ✭ 14 (-6.67%)
Mutual labels:  exercism-track
1-41 of 41 similar projects