My Racket page
Racket belongs to the Lisp family of programming languages and has a lot of batteries included, for example a nice math module.
The contents below:
My Racket programs
Note: most program uses the utilities in utils_hakank.rkt.
My Racket/Gamble programs (probabilistic programming)
These model use the Gamble probabilistic programming package. Many of the models are ported from the Church models (and/or Forestdb, Probabilistic Models of Cognition), and from my WebPPL models.
All these models use the utils file gamble_utils.rkt. Some models also use the gamble_distributions.rkt for definition of distributions not found in Gamble (some of them also includes pdf, cdf, and quantile) and are tested in gamble_distributions_test.rkt.
Here are the implemented functions in gamble_distributions.rkt.
-
laplace: dist, pdf, cdf, quantile
-
extreme_value_dist1: dist (same as extreme_value_dist2 0 1)
-
extreme_value_dist2: dist, pdf, cdf, quantile, mean
-
generalized_extreme_value_old_dist: dist
-
generalized_extreme_value_dist: dist, pdf, cdf, quantile, mean
-
bernoulli_dist: dist, pdf, cdf, quantile
-
binomial_dist: dist, pdf, cdf, quantile, mean, variance
-
hypergeometric: dist, pdf, cdf, quantile
-
hypergeometric2: dist, pdf, cdf, quantile, mean
-
negative_binomial: dist, pdf, cdf, quantile
-
beta_binomial: dist, pdf, cdf, quantile
-
multinomial_dist: dist, pdf, mean, variance
-
polya: dist
-
polya_eggenberg: dist
-
cauchy_dist: dist, pdf, cdf, quantile
-
chi_dist: dist
-
chi_squared_dist: dist
-
chi_squared_inverse_dist: dist
-
exponential_dist: dist, pdf, cdf, quantile, mean
-
erlang_dist: dist, pdf, cdf, mean
-
erlang2_dist: dist
-
inverse_exponential: dist
-
inverse_shifted: dist
-
frechet_dist: dist, pdf, cdf, quantile, mean
-
gamma_dist: dist, pdf, cdf, quantile (est), mean
-
geometric_dist: dist, pdf, cdf, quantile, mean
-
gaussian_dist: dist, pdf, cdf, quantile (est), mean
-
gumbel_dist: dist, pdf, cdf, quantile, mean
-
kumaraswamy_dist: dist, pdf, cdf, quantile, mean
-
logistic_dist: dist, pdf, cdf, quantile, mean
-
discrete_uniform_dist: dist, pdf, cdf, quantile, mean, variance
-
negative_hypergeometric: dist, pdf, cdf, quantile, mean
-
dirichlet_dist: dist
-
pareto_dist: dist, pdf, cdf, quantile, mean
-
pareto2_dist: dist, pdf, cdf, quantile, mean, variance
-
pareto3_dist: dist, pdf, cdf, quantile, mean, variance
-
pareto4_dist: dist, pdf, cdf, quantile, mean, variance
-
poisson_dist: dist, pdf, cdf, quantile, mean
-
triangular_dist: dist, pdf, cdf, quantile, mean
-
zipf_dist: dist, pdf, cdf, quantile, mean
-
zipf1_dist: pdf, cdf, mean
-
crp (Chinese restaurant process): dist, pdf, cdf, quantile, mean
-
weibull: dist, pdf, cdf, quantile, mean
-
log_gamma: dist
-
log_normal: dist
-
pascal_dist: dist, pdf, cdf, quantie, mean, variance
-
rbirthday,pbirthday,qbirthday: birthday/coincidences dist,pdf,quantile.
Also as birthday_dist, birthday_pdfbirthday_quantile
-
matching: dist, pdf, cdf, quantile, mean
-
coupon_collector: dist, pdf, cdf, quantile, mean, variance
- order statistics:
estimator_of_m_u, estimator_of_m_u_all, estimator_of_m_v
-
order_statistics_continuous: pdf, cdf
-
order_statistics_with_replacement: dist, pdf, cdf, quantile, mean, variance
-
order_statistics_with_replacement_discrete: pdf, cdf
- record:
k_record: pdf, cdf, quantile (exact as well as faster float versions)
- record:
num_records: dist, pdf, cdf, quantile
-
multivariate_hypergeometric: dist, pdf, (cdf), mean
-
max_stable_dist: dist, pdf, cdf, quantile, mean
-
min_stable_dist: dist, pdf, cdf, quantile, mean
-
poisson_process: dist, pdf, cdf, quantile, mean, variance
-
random_walk_process: dist, pdf, cdf, quantile, mean, variance
-
binomial_process: dist, pdf, cdf, quantile, mean, variance
-
probability-of-run-size (not a proper distribution)
-
prob-n-heads-after-k-in-max-m-tosses: dist, pdf, cdf, quantile, mean, variance
-
wiener_process: dist, pdf, cdf, quantile, mean, variance
-
discrete_markov_process: dist, pdf, cdf, quantile, stationary
-
sum_prob: dist, pdf, cdf, quantile, mean
The Gamble programs/models:
- gamble_100_heads_in_a_row.rkt: 100 heads in a row (Holger van Jouanne-Diedrich)
- gamble_2d_plot.rkt: 2d plot (scatter plot)
- gamble_24_game.rkt: 24 Game
- gamble_6_consecutive_cards_in_a_card_deck.rkt: Three or more consecutive values of 6 draws in a card deck
- gamble_6_digit_numbers.rkt: 6 digit numbers (Blom et.al)
- gamble_8_boys_and_2_girls.rkt: Probability of 8 boys and 2 girls (Anders Kr.)
- gamble_8_schools.rkt: 8 schools
- gamble_a_marble_chance_puzzle.rkt: A Marble Chance Puzzle
- gamble_ab_test_functikon.rkt: Test of
ab-test, a function for (simple) A/B tests
- gamble_ab_test_simple.rkt: A/B test simple
- gamble_ab_test_simple2.rkt: A/B test simple 2
- gamble_ab_test_simple2_exact.rkt: A/B test simple 2 exact
- gamble_ab_testing.rkt: A/B testing
- gamble_ab_testing2.rkt: A/B testing (larger example and with specific instances for A and B)
- gamble_adding_to_7.rkt: Adding to 7 (Wood)
- gamble_actors_award.rkt: Actor's award (Figaro)
- gamble_aircraft_position.rkt: Aircraft position (BLOG)
- gamble_aircraft_static.rkt: Aircraft static (BLOG)
- gamble_alarm_multi.rkt: Alarm multi (ProbLog)
- gamble_all_girls_world.rkt: All Girls World (Brain Stellar)
- gamble_an_experiment_in_personal_taste_for_money.rkt: An experiment in personal taste for money (Mosteller)
- gamble_animal_population.rkt: Animal population (Resampling)
- gamble_appears_tall.rkt: Appears tall (HAL ProbLog)
- gamble_ar1.rkt: AR(1) autogressive model (Stan)
- gamble_ar2.rkt: AR(2) autogressive model (BLOG)
- gamble_area_under_normal_curve.rkt: Area under normal curve
- gamble_asia.rkt: Asia (medical model)
- gamble_bag_of_marbles.rkt: Bag of marbles
- gamble_ball_box.rkt: Ball box (HAL ProbLog)
- gamble_ball_entering_q.rkt: Ball entering Q?
- gamble_ball_selection_game.rkt: Ball selection game
- gamble_banachs_match_box_problem.rkt: Banach's match box problem (Blom et.al.)
- gamble_barber.rkt: Russell's (Probabilistic) Barber paradox
- gamble_bar_visiting.rkt: Bar visiting
- gamble_baseball_hitting_skills.rkt: Baseball hitting skills (PyMC)
- gamble_baseball_payroll.rkt: Baseball payroll (Resampling Stats)
- gamble_battalion.rkt: Battalion (BLOG)
- gamble_battery_comparison.rkt: Battery comparison (Resampling Stats)
- gamble_bayes.rkt: Bayes (Resampling Stats)
- gamble_bayesian_linear_regression.rkt: Bayesian linear regression (BLOG)
a- gamble_bayesian_null_hypothesis_test.rkt: Bayesian null hypothesis (WebPPL)
- gamble_bayesian_network.rkt: Bayesian network (ProbLog)
- gamble_bda.rkt: BDA (WebPPL)
- gamble_bda_presidential_election.rkt: BDA Presidential election (WebPPL)
- gamble_bda2.rkt: BDA2 (WebPPL)
- gamble_benford_dist.rkt: Benford distribution
- gamble_beaver_fever.rkt: Beaver fever (Downey)
- gamble_bernoulli_test.rkt: Bernoulli test
- gamble_bertrands_paradox.rkt: Bertrand's box paradox
- gamble_bertrands_paradox_resampling.rkt: Bertrand's box paradox using resampling (and a "pure" PPL model) (Resampling)
- gamble_beta_binomial_dist.rkt: Beta binomial distribution (some examples)
- gamble_beta_binomial_recover.rkt: Beta binomial example
- gamble_beta_binomial_urn_model.rkt: Beta binomial urn model
- gamble_beta_comparison.rkt: Beta comparison (yet another A/B test)
- gamble_biased_coin.rkt: Biased coin (cplint)
- gamble_binomial_basketball.rkt: Binomial Basketball (Mathematica)
- gamble_coin.rkt: Binomial coin (Mathematica)
- gamble_binomial_dice2.rkt: Binomial dice (Mathematica)
- gamble_binomial_dist.rkt: Generating Binomial and Bernoulli distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_binomial_process.rkt: Binomial process (dist, pdf, cdf, quantile, mean, variance)
- gamble_binomial_trial_count.rkt: Binomial Trial count (Infer.net)
- gamble_birthday.rkt: Birthday "paradox" (BLOG)
- gamble_birthday_coincidence.rkt: Birthday "paradox" coincidence (Anglican)
- gamble_birthday_probability.rkt: Birthday "paradox"/coincidence distribution (dist,pdf,quantile), (Port of R's pbirthday and qbirthday)
- gamble_birthday2.rkt: Birthday "paradox" (PSI)
- gamble_birthday5.rkt: Birthday "paradox"
- gamble_birth_death_model.rkt: Birth death model" (WebPPL)
- gamble_book_bags.rkt: Book bags (Netica) i
- gamble_book_sorting_puzzle.rkt: Book sorting puzzle i
- gamble_brain_twister_44_dice_and_cards.rkt: Brain Twister #44 - Dice and Cards i
- gamble_break_a_stick_in_two.rkt: Break a stick in two (Resampling Stats, Mosteller)
- gamble_breaking_a_stick_in_three_pieces.rkt: Breaking a stick in three pieces
- gamble_breaking_stick.rkt: Breaking stick (Brain Stellar)
- gamble_brian_ate_pizza_last_night.rkt: Brian ate pizza last night (Pfeffer)
- gamble_bridge.rkt: Bridge problem (Resampling Stats)
- gamble_bugs_book_2_1_2.rkt: BUGS book example 2.1.2
- gamble_bugs_book_2_3_1.rkt: BUGS book example 2.3.1
- gamble_bugs_book_2_4_1.rkt: BUGS book example 2.4.1
- gamble_bugs_book_2_5_1.rkt: BUGS book example 2.5.1
- gamble_bugs_book_2_6_1.rkt: BUGS book example 2.6.1
- gamble_bugs_book_2_7_1.rkt: BUGS book example 2.7.1
- gamble_bugs_book_2_7_2.rkt: BUGS book example 2.7.2
- gamble_bugs_book_3_3_2.rkt: BUGS book example 3.3.2
- gamble_bugs_book_3_3_3.rkt: BUGS book example 3.3.3
- gamble_bugs_book_3_4_1.rkt: BUGS book example 3.4.1
- gamble_bugs_book_3_4_1b.rkt: BUGS book example 3.4.1b
- gamble_bullets_of_fate.rkt: Bullets of fate (Brain Stellar)
- gamble_burglary_multihouse.rkt: Burglary multihouse (BLOG)
- gamble_caeasar.rkt: Simple Caesar cipher (Dice)
- gamble_car_buyer.rkt: Car buyer (Netica)
- gamble_car_in_box.rkt: Car in box puzzle
- gamble_card_draw_problem.rkt: Card draw problem
- gamble_card_problem.rkt: Card problem
- gamble_cards.rkt: Card problem (cplint)
- gamble_casino_puzzle.rkt: Casino puzzle
- gamble_cat.rkt: 3 cat problem (Noel Welsh)
- gamble_cats_rats_and_elephants.rkt: Cat, rats, and elephants (Downey)
- gamble_cauchy_dist.rkt: Cauchy dist (generating random samples, PDF, CDF, quantile. But use the built-in instead.)
- gamble_changepoint.rkt: Changepoint detection
- gamble_changepoint2.rkt: Changepoint detection (coal miners and Text messages)
- gamble_cheating.rkt: Cheating (Davidson Pilon)
- gamble_cheating2.rkt: Cheating (Davidson Pilon)
- gamble_chess_tournament.rkt: Chess tournament (Brain Stellar)
- gamble_chi_dist.rkt: Chi distribution (generating samples)
- gamble_chi_squared_dist.rkt: Chi squared distribution (generating samples)
- gamble_chi_squared_inverse_dist.rkt: Chi squared inverse distribution (generating samples)
- gamble_chi_squared_non_central_dist.rkt: Chi squared non central distribution (generating samples)
- gamble_chi_test.rkt: Chi squared test
- gamble_chicken_pecking.rkt: Chicken pecking (PSI)
- gamble_chinese_restaurant_process.rkt: Chinese restaurant process distribution model
- gamble_chinese_restaurant_process2.rkt: Chinese restaurant process model and distribution (crt) (dist, pdf, cdf, quantile, mean)
- gamble_chuck_a_luck.rkt: Chuck-a-luck (Mosteller)
- gamble_clan_size.rkt: Clan size (Brain Stellar)
- gamble_class_attendance.rkt: Class attendance
- gamble_click_graph.rkt: Click graph (PSI)
- gamble_clinical_trial.rkt: Clinical trial (Infer.net)
- gamble_clinical_trial_r2.rkt: Clinical trial, larger dataset (R2)
- gamble_cloud_duration.rkt: Cloud duration (Mathematica)
- gamble_cluster_watching_birth_days.rkt: Cluster watching - birth days (Brignell)
- gamble_cluster_watching_birth_months.rkt: Cluster watching - birth months (Brignell)
- gamble_color_switches.rkt: Color switches (Brain Stellar)
- gamble_coin_bias.rkt: Coin bias (R2)
- gamble_coin_competition.rkt: Coin competition (Pascal Bercker)
- gamble_coin_flip_game.rkt: Coin flip game
- gamble_coin_flip_probability_independent_or_not.rkt: Coin flip probability - independent or not?
- gamble_coin_flips.rkt: Coin flips
- gamble_coin_hh_vs_ht.rkt: Coin: HH vs HT (Litt)
- gamble_coin_paradox.rkt: Coin paradox
- gamble_coin_toss.rkt: Coin toss
- gamble_coin_tosses.rkt: Coin tosses (cplint)
- gamble_coincidences.rkt: Coincidences (Birthday "paradox")
- gamble_coincidences2.rkt: Coincidences II (Diaconis)
- gamble_coins_learning.rkt: Coins learning (ProbLog)
- gamble_coins_learning2.rkt: Coins learning II (ProbLog)
- gamble_color_of_the_taxi.rkt: Color of the taxi
- gamble_colored_runs_of_cards.rkt: Colored runs of cards (Brain Stellar)
- gamble_comparing_two_proportions.rkt: Comparing two proportions (Resampling)
- gamble_cond_exponential.rkt: Cond exponential (PSI)
- gamble_consecutive_heads.rkt: Consecutive heads (Brain Stellar)
- gamble_consecutive_numbers_in_lotto_ticket.rkt: Consecutive numbers in Lotto ticket
- gamble_continuous_weight.rkt: Continuous weight (Church), The Church model: gamble_continuous_weight_church.rkt
- gamble_cookie_problem.rkt: Cookie problem (Downey)
- gamble_coupon_collector.rkt: Coupon collector's problem (not especially good model)
- gamble_coupon_collector2.rkt: Coupon collector's problem (better - but slower - than gamble_coupon_collector.rkt)
- gamble_coupon_collector3.rkt: Coupon collector's problem (number of time to roll a n sided die to be 90% sure of getting all n values
- gamble_coupon_collectors_problem.rkt: Coupon collector's problem (updates via
vector-set!
- gamble_coupon_collector_probability.rkt: Coupon collector distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_covid_prob.rkt: Covid prob
- gamble_craps.rkt: Craps
- gamble_craps2.rkt: Craps (including points)
- gamble_crazy_postman.rkt: Crazy postman (Brain Stellar)
- gamble_credible_interval.rkt: Examples of
(credible-interval samples cred-mass) and (show-stats sample)
- gamble_credit_card_fraud.rkt: Credit card fraud (Heckerman)
- gamble_csi.rkt: CSI (BLOG)
- gamble_cycling_time1.rkt: Cycling time (Infer.NET)
- gamble_dartboard.rkt: Dartboard (Resampling Stats)
- gamble_daughter_or_son.rkt: Daughter or son (Brain Stellar)
- gamble_decay_of_digoxin.rkt: Decay of digoxin
- gamble_derangements.rkt: Derangements
- gamble_dice.rkt: How many number of times did they throw the d20 dice?
- gamble_dice_6_throws.rkt: Dice 6 throws
- gamble_dice_6_throws2.rkt: Dice 6 throws (using lists)
- gamble_dice_6_throws3.rkt: How many dice throws until a 6? (Mosteller)
- gamble_dice_game.rkt: Dice game (PuzzlOR)
- gamble_dice_minimum_value_of_four_dice.rkt: Minimum (and maximum) value of rolling 4 dice
- gamble_dice_problem.rkt: Dice problem (Downey)
- gamble_dice_puzzle.rkt: Dice puzzle (de Mere)
- gamble_dice_with_reroll.rkt: Dice with re-roll
- gamble_dirichlet_dist.rkt: Dirichlet distribution (only generating randomvalues)
- gamble_discarding_n_cards_in_poker.rkt: Discarding n cards in poker
- gamble_discrete_markov_process.rkt: Discrete Markov process (dist, pdf, cdf, quantile, stationary)
- gamble_discrete_markov_process_biased_coin.rkt: Discrete Markov process, biased coin (Mathematica)
- gamble_discrete_uniform_dist.rkt: Discrete uniform distr (dist, pdf, cdf, quantile, mean)
- gamble_disease_infection.rkt: Disease infection (SPPL)
- gamble_distinct_number_draws.rkt: Distinct number draws (Brain Stellar)
- gamble_distinct_six_dice.rkt: Distinct six dice
- gamble_dist_quantiles.rkt: Simulated quantiles for distributions
- gamble_distributions.rkt: Probability distributions not found in Gamble
- gamble_distributions_test.rkt: Test of distributions in gamble_distributions.rkt:
- gamble_doomsday.rkt: Doomsday
- gamble_drug_trial_evaluation.rkt: Drug trial evaluation (PyMC)
- gamble_drunk_ant.rkt: Drunk (Brain Stellar)
- gamble_drunk_man_and_keys_problem.rkt: Drunk man_and keys problem
- gamble_drunk_passenger.rkt: Drunk passenger (Brain Stellar)
- gamble_duck_hunter_problem.rkt: Duck hunter problem (Siegrist)
- gamble_duelling_cowboys.rkt: Duelling cowboys (Katoen)
- gamble_ehrenfest_urn_scheme.rkt: Ehrenfest urn scheme
- gamble_either_a_spade_or_an_ace.rkt: Either a spade or an ace (Resampling Stats)
- gamble_election.rkt: Election (SPPL)
- gamble_erlang_dist.rkt: Erlang distribution (sample, pdf, cdf, mean)
- gamble_euro_coin_problem.rkt: Euro coin problem (Downey)
- gamble_euro_coin_problem_unreliable_measurements.rkt: Euro coin with unreliable measurements (Downey)
- gamble_expected_breakup_length.rkt: Expected breakup length (Brain Stellar)
- gamble_exponential_dist.rkt: Exponential dist
- gamble_exponential_inverse_dist_dist.rkt: Inverse exponential dist
- gamble_exponential_shifted_dist.rkt: Shifted exponential dist
- gamble_extreme_value_dist.rkt: Extreme value distribution
- gamble_extreme_value_maximum_wind_speed.rkt: Extreme value distribution, maximum wind speed (Mathematica)
- gamble_extreme_value_test.rkt: Extreme value distribution (Mathematica)
- gamble_factorial2.rkt: Factorial (BLOG)
- gamble_fair_coin2.rkt: Fair coin 2 (Resampling Stats)
- gamble_fair_coin_from_a_biased_coin.rkt: Fair coin from a biased coin
- gamble_fair_coin_tosses.rkt: Fair coin tosses
- gamble_fairness_hiring_model1.rkt: Fairness hiring model I (SPPL)
- gamble_fairness_hiring_model2.rkt: Fairness hiring model II (SPPL)
- gamble_fairness_income_model.rkt: Fairness income model (SPPL)
- gamble_false_coin.rkt: False coin (simple version) (inspired by Winkler)
- gamble_false_coin2.rkt: False coin (Winkler)
- gamble_family_out_problem.rkt: Family out problem (Charniak)
- gamble_father_of_lies.rkt: Father of lies (Brain Stellar)
- gamble_firings.rkt: Firings (Resample Stats)
- gamble_flipping_coins_until_pattern.rkt: Flipping coins until pattern: HTTTH vs HTHTH (and some other patterns, including experimental: patterns of unequal length) (Litt)
- gamble_flipping_three_coins.rkt: Flipping three coins (Resample Stats)
- gamble_firing_squad.rkt: Firing squad (Pearl)
- gamble_five_coins.rkt: Five coins problem
- gamble_football_bet_simple.rkt: Football bet simple (Netica)
- gamble_four_cards.rkt: Four cards (Bar-Hillel and Falk)
- gamble_four_dice.rkt: Four dice
- gamble_four_girls_and_one_boy.rkt: Four girls and one boy (Resampling Stats)
- gamble_frechet_dist.rkt: Frechet distribution (sample, pdf, cdf, quantile, mean)
- gamble_frechet_windspeed.rkt: Windspeed parameter recovering using Frechet distribution (Mathematica)
- gamble_frustration_patience.rkt: Frustration patience (aka Frustration solitaire) (Grinstead and Snells)
- gamble_galaxy.rkt: Galaxy (BLOG)
- gamble_galileos_dice.rkt: Galileo's dice (Mathematica)
- gamble_game_of_ur_problem.rkt: Game of Ur problem (Downey)
- gamble_game_of_ur_problem2.rkt: Game of Ur problem, alternative approach (Downey)
- gamble_game_show_problem.rkt: Game show problem
- gamble_gamma_dist.rkt: Gamma distribution (dist, pdf, cdf, quantile (est), mean) (Mathematica)
- gamble_gaussian_dist.rkt: Gaussian (normal) distribution: dist, pdf, cdf, quantile (est), mean (Mathematica)
- gamble_gaussian_mixture_model.rkt: Gaussian mixture model
- gamble_gaussian_mixture_model2.rkt: Gaussian mixture model, another problem
- gamble_generalized_extreme_value_old_dist.rkt: Generalized extreme value distribution (note: the old version) (dist)
- gamble_generalized_extreme_value_dist.rkt: Generalized extreme value distribution (dist, pdf, cdf, quantile, mean)
- gamble_geometric_cereal_box.rkt: Geometric cereal box, coupon collector's problem (Mathematica)
- gamble_geometric_coin.rkt: Coin problem (Mathematica)
- gamble_geometric_counting_cars.rkt: Counting cars (Mathematica)
- gamble_geometric_dist.rkt: Geometric dist
- gamble_geometric_dist_test.rkt: Geometric dist (testing the different implementations)
- gamble_german_tank_problem.rkt: German tank problem
- gamble_golf_putting_logit.rkt: Golf putting logit (PyMC)
- gamble_golf_putting_geometry_based1.rkt: Golf putting geometry based I (PyMC)
- gamble_golf_putting_geometry_based2.rkt: Golf putting geometry based II (PyMC)
- gamble_half_time.rkt: Half time (Brain Stellar)
- gamble_gender_height.rkt: Gender height (identify gender given a height)
- gamble_girl_births.rkt: Girl births (Gelman)
- gamble_grades.rkt: Grades (BLOG)
- gamble_grass.rkt: Grass (R2)
- gamble_greed_for_an_ace.rkt: Greed for an ace (Brain Stellar)
- gamble_growth_in_yeast_culture.rkt: Growth in yeast culture
- gamble_guess_the_toss.rkt: Guess the toss (Brain Stellar)
- gamble_gumbel_dist.rkt: Gumbel distribution: dist, pdf, cdf, quantile, mean
- gamble_gumbel_earthquake.rkt: Gumbel on earthquake data
- gamble_gumbel_minimum_daily_flows.rkt: Gumbel on minimum daily flows data
- gamble_gumbel_recover.rkt: Gumbel recovering parameter
- gamble_handedness.rkt: Handedness (Infer.NET)
- gamble_healthiness.rkt: Healthiness (BLOG)
- gamble_heart_disease_regression.rkt: Heart disease regression (Hugin)
- gamble_hedge_fund_managers.rkt: Hedge fund managers (Mathematica)
- gamble_heights.rkt: Heights problem (Winn, Minka)
- gamble_highest_dice_roller.rkt: Highest dice roller
- gamble_histogram_test.rkt: Tests of
histogram and percentiles
- gamble_hmm.rkt: Hidden Markov model (WebPPL)
- gamble_hmm_weather.rkt: Hidden Markov model - weather (ProbLog)
- gamble_hmm1.rkt: Hidden Markov model (BLOG)
- gamble_holmes_clock_problem.rkt: Holmes' Clock problem (Grinstead and Snell)
- gamble_hop_the_lily_pad.rkt: Hope the Lily Pad
- gamble_how_long_until_two_consecutive_sixes.rkt: How long until two consecutive sixes
- gamble_how_much_does_each_kid_weigh.rkt: How much does each kid weigh?? (MindYourDecisions)
- gamble_how_many_sons.rkt: How many sons? (Falk)
- gamble_how_many_times_was_the_coin_tossed.rkt: How many times was the coin tossed?
- gamble_how_many_times_did_i_flip_the_coin.rkt: How many times did I flip the coin? (Ben Lambert, Pascal Bercker)
- gamble_how_tall_is_a.rkt: How tall is A? (Downey)
- gamble_hpd_interval_test.rkt: HPD-interval test
- gamble_hurricane.rkt: Hurricane (BLOG)
- gamble_hyperbole_church.rkt: Hyperbole, slightly altered Church model (Church, forestdb)
- gamble_hyperbolic_metaphor_church.rkt: Hyperbolic metaphor, slightly altered Church model (Church, forestdb)
- gamble_hypergeometric_dist.rkt: Hypergeometric distribution
- gamble_hypergeometric2_dist.rkt: Hypergeometric distribution (Mathematica compatible)
- gamble_hypergeometric2_recover.rkt: Hypergeometric distribution, recover parameters
- gamble_hypothesis_testing.rkt: Hypothesis testing
- gamble_hypothesis_testing2.rkt: Hypothesis testing (Resample Stats)
- gamble_icy_road.rkt: Icy road (Hugin)
- gamble_index_of_smallest_value.rkt: Index of the smallest value in a list (with/without special handling of ties)
- gamble_indian_gpa.rkt: Indian GPA
- gamble_indistinguishable_dice.rkt: Indistinguishable dice
- gamble_inducing_arithmetic_functions.rkt: Inducing arithmetic functions (Church, forestdb)
- gamble_inducing_arithmetic_functions2.rkt: Inducing arithmetic functions 2 (Church, forestdb)
- gamble_inducing_arithmetic_functions_church.rkt: Inducing arithmetic functions, slightly adapted Church models (Church, forestdb)
- gamble_infinite_dice.rkt: Infinite dice
- gamble_infinite_gaussian_mixture.rkt: Infinite gaussian mixture (BLOG)
- gamble_inhibition_infection.rkt: Inhibition infection (ProBLog)
- gamble_innocent_monkey.rkt: Innocent Monkey (Brain Stellar)
- gamble_incurance_cost.rkt: Insurance cost (Simon, Resample Stats)
- gamble_intelligence_test.rkt: Intelligence test (Koller/Friedman)
- gamble_iq_over_years.rkt: IQ over years
- gamble_italian_murder.rkt: Italian murder (Bellodi et.al.)
- gamble_jaywalking.rkt: Jaywalking model
- gamble_jungs_fish_stories.rkt: Jung's fish stories (Diaconis)
- gamble_kruskal_count.rkt: Kruskal count
- gamble_kumaraswamy_dist.rkt: Kumaraswamy distribution
- gamble_landing_on_25.rkt: Landing on 25
- gamble_laplace_births.rkt: Laplace's births problem
- gamble_laplace_dist.rkt: Laplace distribution
- gamble_left_some_candles.rkt: Left some candles (Brain Stellar)
- gamble_length_age.rkt: Length and age
- gamble_librarian_or_farmer.rkt: Librarian or farmer (Davidson-Pilon, Kahneman)
- gamble_light_bulbs.rkt: Light bulbs
- gamble_linear_regression.rkt: Linear regression example
- gamble_linear_regression2.rkt: Linear regression example
- gamble_linear_regression3.rkt: Linear regression example (PyMC)
- gamble_lions_tigers_and_bears.rkt: Lions, tigers, and bears (Downey)
- gamble_lions_tigers_and_bears2.rkt: Lions, tigers, and bears (using Dirichlet as prior) (Downey)
- gamble_loaded_coin.rkt: Loaded coin (Martin)
- gamble_locomotive_problem_blitz.rkt: Locomotive problem (Mosteller, Downey)
- gamble_log_gamma_dist.rkt: Log gamma distribution (dist)
- gamble_log_normal_dist.rkt: Log normal distribution (dist)
- gamble_logistic_dist.rkt: Logistic distribution (dist, pdf, cdf, quantile, mean)
- gamble_logistic_recover.rkt: Logistic distribution (recover parameters)
- gamble_logistic_regression_challenger.rkt: Logistic regression - Challenger
- gamble_london_blitz.rkt: London blitz (Church)
- gamble_lottery.rkt: Lottery (Mathematica)
- gamble_lotto_not_two_consecutive_numbers.rkt: Lotto, not two consecutive numbers
- gamble_lucky_candy.rkt: Lucky candy (optimizing the number of godd/bad candies in one of two boxes) (Brain Stellar)
- gamble_lucky_candy2.rkt: Lucky candy (optimizing the number of godd/bad candies in one of two boxes, different approach) (Brain Stellar)
- gamble_lucky_dip_task.rkt: Lucky Dip Task (Pascal Bercker)
- gamble_m_and_m_problem.rkt: M and M problem (Downey)
- gamble_machine_working.rkt: Machine working
- gamble_machine_working_gaussian.rkt: Machine working, gaussian
- gamble_machine_working_gaussian2.rkt: Machine working, gaussian II
- gamble_marginalize_variables.rkt: Examples of
show-marginals
- gamble_martin_gardners_odds_on_kings.rkt: Martin Gardner's Odds on Kings (Martin Gardner)
- gamble_matching_distribution.rkt: Matching distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_max_stable_dist.rkt: Max stable distribution (dist, pdf, cdf, quantile, mean)
- gamble_mean_and_stdev_for_10_flips_of_a_fair_coin.rkt: Mean and stdev for 10 flips of a fair coin
- gamble_mean_of_uniform.rkt: Mean of (discrete) uniform
- gamble_medical.rkt: Medical
- gamble_medical_diagnosis.rkt: Medical diagonis (Downey)
- gamble_medical_diagnosis2.rkt: Medical diagonis (WebPPL)
- gamble_medical_test.rkt: Medical test
- gamble_meeting_collegues_at_office.rkt: Meeting collegues at office
- gamble_meeting_problem.rkt: Meeting problem
- gamble_meeting_problem2.rkt: Meeting problem
- gamble_meeting_under_the_clock.rkt: Meeting under the clock (Simon)
- gamble_meeting_under_the_clock.rkt2: Meeting under the clock, variant (Simon)
- gamble_messing_with_envelopes.rkt: Messing with envelopes (Brain Stellar)
- gamble_min_stable_dist.rkt: Min stable distribution (dist, pdf, cdf, quantile, mean)
- gamble_mixture_of_gaussian.rkt: Mixture of gaussian (BLOG)
- gamble_mixture_of_gaussian2.rkt: Mixture of gaussian (BLOG)
- gamble_mixture_of_gaussian_infinite.rkt: Mixture of gaussian - infinite (BLOG)
- gamble_monty_hall.rkt: Monty Hall
- gamble_monty_hall_problem.rkt: Monty Hall
- gamble_mr_shearers_class.rkt: Mr Shearer's class
- gamble_multinomial_balls.rkt: Multinomial balls (Mathematica)
- gamble_multinomial_callcenter.rkt: Multinomial callcenter (Mathematica)
- gamble_multinomial_dist.rkt: Multinomial distribution (only generating)
- gamble_multinomial_pdf_test.rkt: Multinomial distribution, pdf, mean, variance
- gamble_multinomial_voting.rkt: Multinomial voting (Mathematica)
- gamble_multinomial_voting2.rkt: Multinomial voting II (Mathematica)
- gamble_multivariate_hypergeometric_dist.rkt: Multivariate hypergeometric dist (dist, PDF,(CDF), Mean)
- gamble_murder_mystery.rkt: Murder mystery (Gordon)
- gamble_murder_mystery_mbmlbook.rkt: Murder mystery (Bishop, infer.net)
- gamble_murphys_knots.rkt: Murphy's knots (Matthews)
- gamble_murphys_law_of_queues.rkt: Murphy's law of queues (Matthews)
- gamble_my_neighbour.rkt: My neighbour (kind of meeting problem)
- gamble_native_fish.rkt: Native fish
- gamble_negative_binomial_basketball.rkt: Negative binomomial basketball (Mathematica)
- gamble_negative_binomial_basketball2.rkt: Negative binomomial basketball II (Mathematica)
- gamble_negative_binomial_coins.rkt: Negative binomomial coins (Mathematica)
- gamble_negative_binomial_coins2.rkt: Negative binomomial coins II (Mathematica)
- gamble_negative_binomial_dist.rkt: Negative binomomial distribution
- gamble_negative_binomial_selling_candies.rkt: Negative binomomial selling candies (Mathematica)
- gamble_negative_binomial_test.rkt: Negative binomomial test
- gamble_negative_hypergeometric_dist.rkt: Negative hypergeometric distribution (dist, pdf, cdf, quantile, mean)
- gamble_newton_pepys_problem.rkt: Newton-Pepy's problem
- gamble_nine_spades_four_clubs.rkt: Nine spades and four clubs (Resampling Stats)
- gamble_ninjas_bears_hunters.rkt: Ninjas, bears, and hunters (PSI)
- gamble_no_birthdays.rkt: No birthdays (Paulos)
- gamble_noisy_or.rkt: Noisy Or (PSI)
- gamble_number_guessing_game.rkt: Number guessing game (Church), gamble_number_guessing_game_church.rkt: Church version (forestdb)
- gamble_number_lock2.rkt: Number lock (MindYourDecisions)
- gamble_number_of_dice_throws_to_target.rkt: Number of dice throws to reach a target (either exactly or equal/above)
- gamble_number_of_double_heads.rkt: Number of double heads (Brain Stellar)
- gamble_number_of_trials_for_credible_interval.rkt: Number of trials for credible interval
- gamble_number_of_walks_until_no_shoes.rkt: Number of walks until no shoes (Blom et.al)
- gamble_old_faithful.rkt: Old Faithful
- gamble_oil_rig.rkt: Oil rig (BayesiaLa)
- gamble_one_ace.rkt: One ace (Resampling Stats)
- gamble_one_rigged_coin.rkt: One rigged coin (Litt)
- gamble_one_spade_or_one_club.rkt: One spade or one club (Resampling Stats)
- gamble_orchs.rkt: Orchs
- gamble_orchs_church.rkt: Orchs (The Battle of the Two Towers), Church models
- gamble_order_statistics_continuous_dist.rkt: Order statistics: continuous distributions
- gamble_order_statistics_estimator_of_m.rkt: Order statistics: Estimator of m
- gamble_order_statistics_without_replacement_dist.rkt: Order statistics: Without replacement distribution
- gamble_order_statistics_with_replacement_discrete_dist.rkt: Order statistics: With replacement discrete distribution
- gamble_papers_under_9_hours.rkt: Papers under 9 hours (Pascal Bercker)
- gamble_pareto_device_life_time.rkt: Pareto device life time (Mathematica)
- gamble_pareto_dist.rkt: Pareto type I distribution (dist, pdf, cdf, quantile, mean)
- gamble_pareto2_dist.rkt: Pareto type II distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_pareto3_dist.rkt: Pareto type III distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_pareto4_dist.rkt: Pareto type IV distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_pareto_recover.rkt: Pareto distribution, recover parameters
- gamble_parking_cars.rkt: Parking cars
- gamble_pascal_dist.rkt: Pascal distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_pascal_number_of_fair_coin_flips_before_n_heads.rkt: Pascal distribution, number of fair coin flips before n heads
- gamble_pascal_recover.rkt: Pascal distribution, recover parameters
- gamble_path.rkt: Path
- gamble_pennies.rkt: Pennies (Resampling Stats)
- gamble_pepperoni_pizza.rkt: Pepperoni pizza (Resampling Stats)
- gamble_person_login.rkt: Person login (BLOG)
- gamble_pesticides.rkt: Pesticides (Resampling Stats)
- gamble_pi.rkt: Pi
- gamble_picking_3_of_the_same_color.rkt: Picking 3 of the same color
- gamble_piecewise_tranformation.rkt: Piecewise transformation
- gamble_pig_food.rkt: Pig food (Resampling Stats)
- gamble_pill_puzzle.rkt: Pill puzzle
- gamble_piranha_puzzle.rkt: Piranha puzzle
- gamble_placebo_and_drugs.rkt: Placebo and drugs (Shasha & Wilson)
- gamble_planning_as_inference.rkt: Planning as inference (Church)
- gamble_planning_as_inference2.rkt: Planning as inference, alternative version (Church)
- gamble_poisson_ball.rkt: Poisson Ball (BLOG)
- gamble_poisson_dist.rkt: Poisson distribution (dist, pdf, cdf, quantile, mean)
- gamble_poisson_fishing_problem.rkt: Poisson fishing problem (Brain Stellar)
- gamble_poisson_horse_kicks.rkt: Poisson horse kicks (Brain Stellar)
- gamble_poisson_mean_inference.rkt: Poisson Mean inference (SPPL)
- gamble_poisson_process_dist.rkt: Poisson process distribution: dist, pdf, cdf, quantile, mean, variance
- gamble_poisson_recover.rkt: Poisson dist (recover parameter)
- gamble_poker.rkt: Poker hands
- gamble_political_survey.rkt: Political survey (Resampling Stats)
- gamble_n_heads_in_a_row_after_k_tosses.rkt: Probability of getting n heads in a row after (exact) k tosses (with max number of tosses): dist, pdf, cdf, quantile, mean
- gamble_probabilistic_graphs.rkt: Probabilistic graphs (ProbLog)
- gamble_probability_challenge.rkt: Probability challenge: picking gold from two chests and a are both children boys problem
- gamble_probability_of_missing_values.rkt: Probability of missing values
- gamble_profits.rkt: Profits (Resampling Stats)
- gamble_quake_probability.rkt: Quake probability (Resampling Stats)
- gamble_queens.rkt: N-queens (for N=4..8)
- gamble_random_random_ratio.rkt: Random ratio (Brain Stellar)
- gamble_random_shuffle_spotify.rkt: Random shuffle Spotify
- gamble_random_walk_1.rkt: Random walk I (Blom et.al.)
- gamble_random_walk_2.rkt: Random walk II
- gamble_random_walk_3.rkt: Random walk (Brain Stellar)
- gamble_random_walk_process.rkt: Random walk process (dist, pdf, cdf, quantile, mean, variance)
- gamble_random_walk_roulette.rkt: Random walk: Curing the Compulsive Gambler (Mosteller)
- gamble_rat_tumor.rkt: Rat tumor (PyMC)
- gamble_rational_rules_church.rkt: Rational rules, slightly adapted Church model (Church, forestdb)
- gamble_records.rkt: Records (Matthews)
- gamble_record_number_of_records.rkt: Record: number of records (dist, pdf, cdf, quantile)
- gamble_kth_record.rkt: Record: kth record (dist, pdf, cdf, quantile)
- gamble_relative_survival_rate.rkt: Relative survival rate (Mathematica)
- gamble_repeated_iq_measurements.rkt: Repeated IQ measurements
- gamble_robot_localization.rkt: Robot localization (SPPL)
- gamble_rolling_dice3.rkt: Rolling dice (ProbLog)
- gamble_rolling_dice4.rkt: Rolling dice (ProbLog)
- gamble_rolling_dice4_2.rkt: Rolling dice, alternative approach (ProbLog)
- gamble_rolling_dice5.rkt: Rolling dice (ProbLog)
- gamble_rolling_multiple_dice_and_picking_the_highest.rkt: Rolling multiple dice and picking the highest (Parker)
- gamble_rolling_the_bullet.rkt: Rolling the Bullet (Brain Stellar)
- gamble_rope_length.rkt: Rope length
- gamble_ruin_problem.rkt: Ruin problem
- gamble_ruin_problem2.rkt: Ruin problem, alternative approach
- gamble_rumor.rkt: Rumor (Feller)
- gamble_rumor2.rkt: Rumor, simple model
- gamble_run_until_blue_ball.rkt: Run until blue ball
- gamble_run_size_probability.rkt: Run size probability
- gamble_runs.rkt: Some experiments of runs (list of binary numbers)
- gamble_russian_roulette.rkt: Russian roulette
- gamble_same_rank.rkt: Same rank (Blog et.al.)
- gamble_scalar_implicature1.rkt: Scalar implicature, part I (Church)
- gamble_scalar_implicature2.rkt: Scalar implicature, part II (Church)
- gamble_schelling_coordination_game.rkt: Schelling coordination game (Church, forestdb)
- gamble_second_chance.rkt: Second chance (Brain Stellar)
- gamble_sequence_waiting_times_1.rkt: Sequence waiting times (Blom et.al)
- gamble_seven_scientists.rkt: Seven scientists (WebPPL)
- gamble_simple_aircraft.rkt: Simple aircraft (BLOG)
- gamble_simple_mixture_model.rkt: Simple mixture model (SPPL)
- gamble_simpson.rkt: Simpson's paradox (Pearl, cplint)
- gamble_sixty_boys_out_of_next_100_births.rkt: Sixty boys out of next 100 births (Resampling Stats)
- gamble_size_of_group_of_people.rkt: Size of group of people
- gamble_size_of_material.rkt: Size of material
- gamble_smokers.rkt: Smoker's social network (ProbLog)
- gamble_spatial_pragmatics_church.rkt: Spatial pragmatics, slightly adapted Church model (Church)
- gamble_sprinkler.rkt: Sprinkler (ProbLog)
- gamble_spread_of_traits.rkt: Spread of traits (GodPlaysDice)
- gamble_sqrt_and_max_of_0_to_1.rkt: Sqrt and max of 0..1 are the same (Stand-up Math)
- gamble_squid_game.rkt: Squid game (PSI)
- gamble_statistical_dependence.rkt: Statistical dependence (WebPPL)
- gamble_stick_to_triangle.rkt: Stick to Triangle (Brain Stellar)
- gamble_streaks.rkt: Streaks (Grinstead et.al.)
- gamble_streaks_chess.rkt: Streaks, probability of 20 consecutive success in 100 runs
- gamble_student_interviews.rkt: Student interviews (SPPL)
- gamble_student_mood_after_exam.rkt: Student mood after exam (Katoen)
- gamble_successive_wins.rkt: Successive wins (Mosteller)
- gamble_sultans_children.rkt: Sultan's children
- gamble_sultans_dowry2.rkt: Sultan's dowry (Secretary problem)
- gamble_sum_pareto.rkt: Sum pareto (PSI)
- gamble_sum_prob_dist.rkt: Sum probability distribution (dist, pdf, cdf, quantile, mean)
- gamble_sum_to_one.rkt: Sum to one (Brain Stellar)
- gamble_surfing_the_web.rkt: Surfing the web
- gamble_tennis_strategy.rkt: Tennis strategy comparison
- gamble_testing_of_proportionality.rkt: Testing of proportionality
- gamble_the_blind_archer.rkt: The blind archer (Brain Stellar)
- gamble_the_arithmetical_two_step.rkt: The arithmetical two-step
- gamble_the_car_and_the_goats.rkt: The car and the goats, Monty Hall (Blom et.al.)
- gamble_the_generous_king.rkt: The generous king (Blom et.al.)
- gamble_the_red_and_the_black.rkt: The Red and the Black (Gardner)
- gamble_theory_of_mind_church.rkt: Theory of Mind Church models, slightly adapted (Church)
- gamble_thermometer.rkt: Thermometer
- gamble_thermostat.rkt: Thermostat
- gamble_three_biased_coins.rkt: Three biased coins (Pascal Bercker)
- gamble_three_cards.rkt: Three cards
- gamble_three_children.rkt: Three children "paradox"
- gamble_three_dice_product.rkt: Three dice product
- gamble_three_men_with_hats.rkt: Three men with hats (Ross)
- gamble_three_people_ten_floors.rkt: Three people, ten floors
- gamble_three_urns.rkt: Three Urns (Church), gamble_three_urns_church.rkt: the Church model
- gamble_three_way_election.rkt: Three way election (Resample Stats)
- gamble_thrice_exceptional.rkt: Thrice exceptional (Cremieux Recueil)
- gamble_to_begin_or_not_to_begin.rkt: To begin or not to begin (Brain Stellar)
- gamble_tornado_poker.rkt: Tornado poker (Simon)
- gamble_tourist_with_a_short_memory.rkt: Tourist with a short memory (Blom et.al.)
- gamble_trick_coin.rkt: Trick coin
- gamble_triangular_dist.rkt: Triangular distribution (dist, pdf, cdf, quantile, mean)
- gamble_trip.rkt: Trip (ProbLog)
- gamble_true_skill.rkt: True skill
- gamble_true_skill2.rkt: True skill (a generalization of gamble_true_skill.rkt
- gamble_true_skill_simple.rkt: True skill simple (R2)
- gamble_trueskill_poisson_binomial.rkt: True skill poisson binomial (SPPL)
- gamble_tug_of_war.rkt: Tug of war (Hakuro)
- gamble_tug_of_war2.rkt: Tug of war 2
- gamble_tug_of_war3.rkt: Tug of war 3
- gamble_tug_of_war3_2.rkt: Tug of war 3 (using
show-marginals)
- gamble_two_aces.rkt: Two aces (Resampling Stats)
- gamble_two_children_problem.rkt: Two children problem
- gamble_two_coins.rkt: Two coins (R2)
- gamble_two_dice_sum_8.rkt: Two dice sums to 8
- gamble_two_dice_wager.rkt: Two dice wager
- gamble_two_dimensional_mixture_model.rkt: Two-dimensional mixture model
- gamble_two_heads_in_three_coin_tosses.rkt: Two heads in three coin tosses (Resampling Stats)
- gamble_unbiased_coin.rkt: Unbiased coin (Brain Stellar)
- gamble_unfair_coin.rkt: Unfair coin (Brainzilla)
- gamble_uniform_ball.rkt: Uniform ball (BLOG)
- gamble_urn_ball.rkt: Urn ball (BLOG)
- gamble_urn_drawing.rkt: Urn drawing (Church)
- gamble_urn_large_balls.rkt: Urn large balls (BLOG)
- gamble_urn_model1.rkt: Urn model
- gamble_urn_model_generalized.rkt: Generalized urn model
- gamble_urn_puzzle.rkt: Urn puzzle
- gamble_urn_puzzle2.rkt: Another urn puzzle (Litt)
- gamble_urn_puzzle3.rkt: Yet another urn puzzle (Litt)
- gamble_urn_puzzle4.rkt: Yet another urn puzzle (Litt)
- gamble_urns_and_balls.rkt: Urns and balls (cplint)
- gamble_utils.rkt: Gamble utils
- gamble_valves.rkt: Valves (BayesiaLab)
- gamble_viral_marketing.rkt: Viral marketing (cplint)
- gamble_virus_infection.rkt: Virus infection
- gamble_voting_probabilities.rkt: Voting probabilities (What is the probability of B winning when A is forecasted to win with more than 50%?)
- gamble_voting_trump_harris.rkt: Voting probabilities: Trump vs Harris (Based of Nate Silver's forecast)
- gamble_waiting_for_a_truck.rkt: Waiting for a truck (Brain Stellar)
- gamble_wason_selection_test.rkt: Wason selection test (Pascal Bercker)
- gamble_weather_figaro.rkt: Weather (Figaro)
- gamble_weekend.rkt: Weekend problem (PSI)
- gamble_weibull_dist.rkt: Weibull distribution (dist, pdf, cdf, quantile, mean)
- gamble_weibull_earthquake.rkt: Weibull Earthquake
- gamble_weight_scale.rkt: Weight scale (Pyro)
- gamble_where_is_my_bag.rkt: Where is my bag problem?
- gamble_wiener_process.rkt: Wiener process (Brownian motion) distribution (dist, pdf, cdf, quantile, mean, variance)
- gamble_winning_gold_medals.rkt: Winning gold medals
- gamble_word_learning_as_bayesian_inference_church.rkt: Word learning as Bayesian inference, (slightly adapted Church model, forestdb)
- gamble_who_killed_the_bosmer.rkt: Who killed the bosmer?
- gamble_you_have_a_train_to_catch.rkt: You have a train to catch (Brain Stellar)
- gamble_youtube1.rkt: Example from (lambda)PSI
- gamble_youtube5.rkt: Example from PSI
- gamble_youtube6.rkt: Example from PSI
- gamble_zipf_dist.rkt: Zipf dist (dist, pdf, cdf, quantile, mean)
- gamble_zipf_max_values.rkt: Zipf dist max values
- gamble_zipf_recover.rkt: Zipf dist (recover parameters)
My Racket/Rosette programs (constraint modeling)
Constraint modeling using the Rosette package for constraint modeling using SMT solving. My goal is to port as many of the models at Common constraint programming problems as possible.
The file rosette_utils.rkt contains global constraints, wrappers, and other utils:
-
show
-
show-constraints
-
show-all-solutions
-
get-all-solutions
-
get-max-solution
-
transpose
-
list-ref2d
-
make-grid
-
show-matrix
-
add
-
increasing
-
increasing-strict
-
decreasing
-
decreasing-strict
-
sum
-
product
-
scalar-product
-
all-different
-
all-different-except-c
Rosette models