User:Hakank: Difference between revisions
Content added Content deleted
(Added Frink and SABR. Some minor edits.) |
(Added Julia, JavaScript and PPLs) |
||
(8 intermediate revisions by the same user not shown) | |||
Line 6: | Line 6: | ||
{{mylang|AWK}} |
{{mylang|AWK}} |
||
{{mylang|BASIC}} |
{{mylang|BASIC}} |
||
{{mylang|B-Prolog}} |
|||
{{mylang|BLOG}} |
|||
{{mylang|C|}} |
{{mylang|C|}} |
||
{{mylang|C++|}} |
{{mylang|C++|}} |
||
Line 20: | Line 22: | ||
{{mylang|J|}} |
{{mylang|J|}} |
||
{{mylang|JavaScript|}} |
{{mylang|JavaScript|}} |
||
{{mylang|Julia|}} |
|||
{{mylang|K|}} |
{{mylang|K|}} |
||
{{mylang|Maple|}} |
{{mylang|Maple|}} |
||
Line 32: | Line 35: | ||
{{mylang|Perl|}} |
{{mylang|Perl|}} |
||
{{mylang|Perl 6|}} |
{{mylang|Perl 6|}} |
||
{{mylang|Picat|}} |
|||
{{mylang|PL/SQL|}} |
{{mylang|PL/SQL|}} |
||
{{mylang|Pop11|}} |
{{mylang|Pop11|}} |
||
{{mylang|Prolog|}} |
{{mylang|Prolog|}} |
||
{{mylang|PSI|}} |
|||
{{mylang|Python|}} |
{{mylang|Python|}} |
||
{{mylang|Q|}} |
{{mylang|Q|}} |
||
Line 47: | Line 52: | ||
{{mylang|SNOBOL4|}} |
{{mylang|SNOBOL4|}} |
||
{{mylang|SQL|}} |
{{mylang|SQL|}} |
||
{{mylang|Unicon|}} |
|||
{{mylang|WebPPL|}} |
|||
{{mylang|Z3|}} |
|||
{{mylangend}} |
{{mylangend}} |
||
'''Hakan Kjellerstrand''', Swedish software developer. |
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher. |
||
'''Interests''': programming languages, (math) puzzles, constraint programming |
'''Interests''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI |
||
'''Personal site''': [http://hakank.org/ |
'''Personal site''': [http://hakank.org/ www.hakank.org] |
||
Line 68: | Line 76: | ||
* [http://www.hakank.org/pddl/ PDDL] |
* [http://www.hakank.org/pddl/ PDDL] |
||
* [http://www.hakank.org/frink/ Frink] |
* [http://www.hakank.org/frink/ Frink] |
||
* [http://www.hakank.org/j/ J] |
|||
* [http://www.hakank.org/javascript_prog/ JavaScript] |
|||
* [http://www.hakank.org/julia/ Julia] |
|||
* [http://www.hakank.org/mathematica/ Mathematica] |
|||
'''My Constraint Programming (and related paradigms) pages''' |
'''My Constraint Programming (and related paradigms) pages''' |
||
Line 79: | Line 92: | ||
* [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby interface to Gecode) |
* [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby interface to Gecode) |
||
* [http://www.hakank.org/choco Choco] (Java) |
* [http://www.hakank.org/choco Choco] (Java) |
||
* [http://www.hakank.org/choco3 Choco3] (Java, not compatible with Choco version 2) |
|||
* [http://www.hakank.org/JaCoP/ JaCoP] (Java) |
* [http://www.hakank.org/JaCoP/ JaCoP] (Java) |
||
* [http://hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala) |
* [http://www.hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala) |
||
* [http://hakank.org/oscar/ OscaR] (Scala) |
* [http://www.hakank.org/oscar/ OscaR] (Scala) |
||
* [http://www.hakank.org/jsr_331/ JSR-331] (Java Constraint Programming API, JSR-331) |
|||
* [http://www.hakank.org/numberjack/ Numberjack] (Python) |
|||
* [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language) |
* [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language) |
||
* [http://hakank.org/ |
* [http://www.hakank.org/aimms/ AIMMS+CP] (AIMMS with CP) |
||
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog) |
|||
* [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP) |
|||
* [http://www.hakank.org/z3/ Z3] (Microsofts high-performance theorem prover/constraint solver) |
|||
* [http://www.hakank.org/picat/ Picat] (CP, SAT, Logic-based, Imperative, Functional, Constraints) |
|||
* [http://www.hakank.org/swi_prolog/ SWI-Prolog] (Prolog, CP, Logic-based) |
|||
* [http://www.hakank.org/answer_set_programming/ Answer Set Programming (ASP)] (this is a related paradigm) |
|||
[http://www.hakank.org/common_cp_models/ Common constraint programming problems], lists problems (and links to models/programs) which are solved in at least two CP systems |
[http://www.hakank.org/common_cp_models/ Common constraint programming problems], lists problems (and links to models/programs) which are solved in at least two CP systems |
||
'''Probabilistic programming languages''' |
|||
'''My blogs''' |
|||
* [http://www.hakank.org/blog_ppl/ BLOG] |
|||
* [http://www.hakank.org/psi_ppl/ PSI] |
|||
* [http://www.hakank.org/webppl/ WebPPL] |
|||
'''My blogs (not very active anymore)''' |
|||
* [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about Constraint Programming and related paradigms |
* [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about Constraint Programming and related paradigms |
||
* [http://hakank.org/arrays_in_flux/ Arrays in Flux], anything but Constraint Programming |
* [http://hakank.org/arrays_in_flux/ Arrays in Flux], anything but Constraint Programming |
||
* [http:// |
* [http://hakank.org/webblogg/ hakank.blogg], General blog (mostly tech, math, programming, etc) Swedish |
Latest revision as of 17:58, 18 November 2020
My Favorite Languages | |
Language | Proficiency |
ABC | --- |
AMPL | --- |
Answer Set Programming | --- |
APL | --- |
AWK | --- |
BASIC | --- |
B-Prolog | --- |
BLOG | --- |
C | --- |
C++ | --- |
C sharp | --- |
Common Lisp | --- |
Commodore BASIC | --- |
Eiffel | --- |
Emacs Lisp | --- |
Frink | --- |
Icon | --- |
GAP | --- |
Groovy | --- |
Haskell | --- |
J | --- |
JavaScript | --- |
Julia | --- |
K | --- |
Maple | --- |
Mathematica | --- |
MiniZinc | --- |
Modula-3 | --- |
NetLogo | --- |
OCaml | --- |
Oz | --- |
Pascal | --- |
PHP | --- |
Perl | --- |
Perl 6 | --- |
Picat | --- |
PL/SQL | --- |
Pop11 | --- |
Prolog | --- |
PSI | --- |
Python | --- |
Q | --- |
R | --- |
REBOL | --- |
REXX | --- |
Ruby | --- |
Sage | --- |
Scala | --- |
Scheme | --- |
SETL | --- |
SNOBOL4 | --- |
SQL | --- |
Unicon | --- |
WebPPL | --- |
Z3 | --- |
Hakan Kjellerstrand, Swedish software developer (retired), Independent researcher.
Interests: programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
Personal site: www.hakank.org
My language pages
- K/Kona
- Icon/Unicon
- Perl6
- SETL
- SetlX
- Pop-11/Poplog
- APL
- SABR
- PDDL
- Frink
- J
- JavaScript
- Julia
- Mathematica
My Constraint Programming (and related paradigms) pages
- G12 MiniZinc (very high level CP language)
- Google or-tools (Python, Java, C#)
- Tailor/Essence' (very high level CP language)
- ECLiPSe CLP System (Prolog)
- SICStus Prolog
- Gecode (C++)
- Comet (C++ like language)
- Gecode/R (Ruby interface to Gecode)
- Choco (Java)
- Choco3 (Java, not compatible with Choco version 2)
- JaCoP (Java)
- Scala in JaCoP (Java, Scala)
- OscaR (Scala)
- JSR-331 (Java Constraint Programming API, JSR-331)
- Numberjack (Python)
- G12 Zinc (very high level CP language)
- AIMMS+CP (AIMMS with CP)
- B-Prolog (Prolog)
- AMPL (CP/LP/MIP)
- Z3 (Microsofts high-performance theorem prover/constraint solver)
- Picat (CP, SAT, Logic-based, Imperative, Functional, Constraints)
- SWI-Prolog (Prolog, CP, Logic-based)
- Answer Set Programming (ASP) (this is a related paradigm)
Common constraint programming problems, lists problems (and links to models/programs) which are solved in at least two CP systems
Probabilistic programming languages
My blogs (not very active anymore)
- My Constraint Programming Blog, about Constraint Programming and related paradigms
- Arrays in Flux, anything but Constraint Programming
- hakank.blogg, General blog (mostly tech, math, programming, etc) Swedish
Categories:
- ABC User
- AMPL User
- Answer Set Programming User
- APL User
- AWK User
- BASIC User
- B-Prolog User
- BLOG User
- C User
- C++ User
- C sharp User
- Common Lisp User
- Commodore BASIC User
- Eiffel User
- Emacs Lisp User
- Frink User
- Icon User
- GAP User
- Groovy User
- Haskell User
- J User
- JavaScript User
- Julia User
- K User
- Maple User
- Mathematica User
- MiniZinc User
- Modula-3 User
- NetLogo User
- OCaml User
- Oz User
- Pascal User
- PHP User
- Perl User
- Perl 6 User
- Picat User
- PL/SQL User
- Pop11 User
- Prolog User
- PSI User
- Python User
- Q User
- R User
- REBOL User
- REXX User
- Ruby User
- Sage User
- Scala User
- Scheme User
- SETL User
- SNOBOL4 User
- SQL User
- Unicon User
- WebPPL User
- Z3 User