Git Product home page Git Product logo

logic-and-discrete-structures's Introduction

Exercises from the Logic and Discrete Structures laboratory.

Warning. ⚠️

I do not guarantee the correctness of the code!

Credits. ⭐

About the project. 🪴

Purpose 🎯

The purpose of this programs is to test the ability to solve problems that consist in the basics of working with functions, recursivity, lists, sets, dictionaries. 📚

Built With. ⚒️

The programs can be build with Ocaml compiler (native or bytecode compiler) or they can be evaluated in the ocaml interpreter. 🐪

Getting Started. 🚀

System requirements ✅

  • Operating System: MacOS, Linux(Ubuntu for example), Windows Subsystem for Linux. (WSL) // I do not recommend installing on Windows, it is not natively supported.
  • Package Manager: Opam for Ocaml programming language and other packages.
  • Programming Language: Ocaml
  • Code Editor: Visual Studio Code

Personally, I made use of WSL with Visual Studio Code, and most of time i used the ocaml interpreter to evaluate my programs.

Installation. 🪜

  1. Install opam and ocaml

    https://ocaml.org/docs/up-and-running
  2. Install OCAML packages

    opam install merlin ocp-ident
  3. Configure Visual Studio Code to run OCaml code.

    Install OCaml extenions from VSCode marketplace.
    I had to change the setting "ocaml.merlinPath": "ocamlmerlin", in the OCaml VSCode extension settings to "ocaml.merlinPath": "ocamlmerlin-server", to get the extension to work.

Learning. 🌟

https://cs3110.github.io/textbook/cover.html

http://staff.cs.upt.ro/~marius/curs/lsd/index.html

http://labs.cs.upt.ro/~oose/pmwiki.php/LSD/LogicaSiStructuriDiscrete

https://dev.realworldocaml.org/

https://www.greenteapress.com/thinkocaml/index.html

https://ocaml.github.io/ocamlunix/index.html

http://pauillac.inria.fr/~ddr/

https://mukulrathi.com/ocaml-tooling-dune/

Contributing. 🏗️

Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.

If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!

  1. Fork the Project
  2. Create your Feature Branch (git checkout -b feature/AmazingFeature)
  3. Commit your Changes (git commit -m 'Add some AmazingFeature')
  4. Push to the Branch (git push origin feature/AmazingFeature)
  5. Open a Pull Request

Contact. ✉️

Denis Gruia

logic-and-discrete-structures's People

Contributors

denisgruiax avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.