tboronczyk / LearnPrologNow

Related projects ⓘ

Alternatives and complementary repositories for LearnPrologNow

• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆289Updated last year
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆46Updated 9 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆578Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆503Updated 3 months ago
• thelmuth / program-synthesis-benchmark-datasets
  Repository of datasets for the General Program Synthesis Benchmark Suite
  ☆11Updated last year
• ubccpsc / 310
  Main course webpage for CPSC 310.
  ☆212Updated last month
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 3 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆169Updated 4 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• cobalt-uoft / datasets
  Automatically generated and up-to-date datasets for Cobalt.
  ☆9Updated 4 years ago
• Ladies-Storm-Hackathons / GHC-Scholarships
  Comprehensive list of scholarships for the Grace Hopper Conference
  ☆692Updated 4 years ago
• evykassirer / playing-the-internship-game
  the rules, tips, and tricks I've learned on how to approach tech internships
  ☆571Updated 10 months ago
• macourtney / clj-crypto
  Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
  ☆29Updated 8 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated 9 months ago
• joanna-chen / interview
  Everything you need to kick ass on your coding interview
  ☆47Updated 8 years ago
• thelmuth / psb2-python
  ☆9Updated 6 months ago
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• vollmerm / fungp
  A genetic programming library for Clojure
  ☆100Updated 10 years ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆74Updated last year
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 7 years ago
• probprog / anglican
  Probabilistic Programming System Anglican
  ☆141Updated 2 months ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆109Updated 3 years ago
• Ladies-Storm-Hackathons / Resources
  A list of handy resources
  ☆338Updated 4 years ago
• andyblueyo / apply-everywhere
  Increase your chances of getting an offer by applying everywhere!
  ☆128Updated 7 years ago
• maggiewhite / bayareawomenintech
  List of organizations for women in tech in the bay area
  ☆88Updated 5 years ago
• opennars / Narjure
  A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.
  ☆43Updated 7 years ago
• paul-english / clj-auto-diff
  Automatic differentiation for Clojure
  ☆18Updated 7 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆77Updated 2 years ago