Introducing
The Slant team built an AI & it’s awesome
Find the best product instantly
Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to Safari
Try it now
4.7 star rating
0
What are the best (productivity-enhancing, well-designed, and concise, rather than just popular or time-tested) programming languages?
See All Options
Overview
Pros
Cons
Recommendations
Comments
Ad
Contributors
1
User
Recs.
2
Updates
6
mons
Last
Updated
Related Questions
Activity
94 Options
Nim
143 Recommendations
Smalltalk
99 Recommendations
Elixir
64 Recommendations
Common Lisp
47 Recommendations
Rust
101 Recommendations
Python
127 Recommendations
F#
38 Recommendations
Go
98 Recommendations
Clojure
70 Recommendations
Lua
22 Recommendations
Scheme
37 Recommendations
D
59 Recommendations
Haskell
65 Recommendations
OCaml
27 Recommendations
Elm
33 Recommendations
Julia
30 Recommendations
Kotlin
44 Recommendations
Zig
5 Recommendations
C#
64 Recommendations
Racket
22 Recommendations
Scala
39 Recommendations
Pony
7 Recommendations
TypeScript
23 Recommendations
Pascal
16 Recommendations
Ceylon
11 Recommendations
Lobster
4 Recommendations
Ruby
38 Recommendations
Crystal
12 Recommendations
Idris
6 Recommendations
Swift
17 Recommendations
C
32 Recommendations
haXe
12 Recommendations
Ada
6 Recommendations
J
4 Recommendations
Dart
55 Recommendations
Factor
2 Recommendations
JavaScript
21 Recommendations
Prolog
9 Recommendations
Forth
8 Recommendations
Erlang
6 Recommendations
Pharo
1 Recommendations
Coconut
4 Recommendations
Hy
0 Recommendations
C++
17 Recommendations
PureScript
2 Recommendations
R
7 Recommendations
Swift
3 Recommendations
Coq
1 Recommendations
ATS
1 Recommendations
Java
20 Recommendations
APL
2 Recommendations
Hack
2 Recommendations
Groovy
7 Recommendations
Delphi
16 Recommendations
Perl 6
3 Recommendations
Arc Lisp
1 Recommendations
Red
4 Recommendations
CoffeeScript
4 Recommendations
Golang
6 Recommendations
Mathematica
3 Recommendations
Assembly
4 Recommendations
Objective-C
3 Recommendations
python-future
2 Recommendations
Eiffel
2 Recommendations
Octave
2 Recommendations
PicoLisp
2 Recommendations
LiveScript
2 Recommendations
Perl
8 Recommendations
F*
0 Recommendations
Agda
0 Recommendations
Lisp Flavored Erlang (LFE)
0 Recommendations
Nial
0 Recommendations
PHP
7 Recommendations
Visual Basic
4 Recommendations
MATLAB
0 Recommendations
Dylan
0 Recommendations
Fortran
0 Recommendations
ActionScript
4 Recommendations
Ladder Logic
0 Recommendations
J++
0 Recommendations
J#
0 Recommendations
Simula
0 Recommendations
COBOL
1 Recommendations
Basic
0 Recommendations
Visual Studio Code
1 Recommendations
Smalltalk, Objects, and Design by Chamond Liu
1 Recommendations
C# Programming
2 Recommendations
Learnember
1 Recommendations
Verilog
0 Recommendations
Modula-2
1 Recommendations
VHDL
0 Recommendations
Modula-3
2 Recommendations
ColdFusion
0 Recommendations
Modula
1 Recommendations
See Product Page for "Coq"
--
Coq
Get it here
Recommend
1
Add Description
Descriptions help others learn about the option
Specs
Add Specs
Specs are quantitative aspects of the option such as the price
Pros
Add
the first
Pro
Know any positive aspects of this option?
Cons
Add
the first
Con
Know any negative aspects of this option?
Recommendations
TallShulmanu
Contributor for 6 months
11
Total
Recs.
60
Total
Karma
Coq
Recommended
6 months ago
TallShulmanu hasn’t added their experience, pros or cons to their recommendation.
Helpful
See full
No highlighted recommendations.
See Recommendations
Comments
See Product Page for "Coq"
Built By the Slant team
Find the best product instantly.
4.7 star rating
Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to Safari
Try it now - it's free
One sec!
Are you sure that you want to abandon your hard work?
Delete Work
Continue working
{}
undefined
url next
price drop