Hakank
Joined 31 August 2022
Added Julia, JavaScript and PPLs
(Added AIMMS+CP) |
(Added Julia, JavaScript and PPLs) |
||
| (5 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 80 ⟶ 92:
* [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby interface to Gecode)
* [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_scala.html Scala in JaCoP] (Java, 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/aimms/ AIMMS+CP] (AIMMS with CP)
* [http://www.hakank.org/
* [http://www.hakank.org/ampl/ AMPL] (
* [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
'''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://
| |||