User:Hakank: Difference between revisions
Content added Content deleted
(My AMPL page now contain CP models as well) |
(Added Julia, JavaScript and PPLs) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 6:
{{mylang|AWK}}
{{mylang|BASIC}}
{{mylang|B-Prolog}}
{{mylang|BLOG}}
{{mylang|C|}}
{{mylang|C++|}}
Line 20 ⟶ 22:
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|Maple|}}
Line 32 ⟶ 35:
{{mylang|Perl|}}
{{mylang|Perl 6|}}
{{mylang|Picat|}}
{{mylang|PL/SQL|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Q|}}
Line 47 ⟶ 52:
{{mylang|SNOBOL4|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.
'''Interests''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
'''Personal site''': [http://hakank.org/
Line 69 ⟶ 77:
* [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'''
Line 91 ⟶ 102:
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP)
* [http://www.hakank.org/
* [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
'''Probabilistic programming languages'''
* [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/arrays_in_flux/ Arrays in Flux], anything but Constraint Programming
* [http://
|
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