tutorials free download

2 projects for "tutorials" with 2 filters applied:

Programming Languages BSD Clear Filters & Widen Search

Dominate AI Search Results
Generative Al is shaping brand discovery. AthenaHQ ensures your brand leads the conversation.

AthenaHQ is a cutting-edge platform for Generative Engine Optimization (GEO), designed to help brands optimize their visibility and performance across AI-driven search platforms like ChatGPT, Google AI, and more.

Learn More
Jscrambler: Pioneering Client-Side Protection Platform
Jscrambler offers an exclusive blend of cutting-edge first-party JavaScript obfuscation and state-of-the-art third-party tag protection.

Jscrambler is the leader in Client-Side Protection and Compliance. We were the first to merge advanced polymorphic JavaScript obfuscation with fine-grained third-party tag protection in a unified Client-Side Protection and Compliance Platform. Our integrated solution ensures a robust defense against current and emerging client-side cyber threats, data leaks, and IP theft, empowering software development and digital teams to innovate securely. With Jscrambler, businesses adopt a unified, future-proof client-side security policy all while achieving compliance with emerging security standards including PCI DSS v4.0. Trusted by digital leaders worldwide, Jscrambler gives businesses the freedom to innovate securely.

Learn More
1

Lean 4

Lean 4 programming language and theorem prover

...One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.

Downloads: 17 This Week

Last Update: 4 days ago
See Project
2

erlang-bookmarks

All about erlang programming language [powerd by community]

erlang-bookmarks is a curated open-source collection of useful resources for developers working with the Erlang programming language. Rather than being a software library, the repository functions as a community-maintained knowledge hub that aggregates articles, tools, tutorials, and documentation links relevant to Erlang development. The project is intended to help both newcomers and experienced engineers quickly discover high-quality learning materials and ecosystem references. Contributions are encouraged through pull requests or link submissions, making the collection continuously expandable. Its simple structure allows users to browse topics efficiently without heavy tooling or dependencies. ...

Downloads: 0 This Week

Last Update: 2026-02-23
See Project