dotnet-script VS milewski-ctfp-pdf

Compare dotnet-script vs milewski-ctfp-pdf and see what are their differences.

dotnet-script

Run C# scripts from the .NET CLI. (by dotnet-script)

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source (by hmemcpy)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
dotnet-script milewski-ctfp-pdf
20 75
2,574 10,691
1.7% -
6.6 5.3
3 months ago 5 days ago
C# TeX
MIT License GNU General Public License v3.0 or later
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

dotnet-script

Posts with mentions or reviews of dotnet-script. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-02-09.

milewski-ctfp-pdf

Posts with mentions or reviews of milewski-ctfp-pdf. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-12-09.
  • reflect-cpp - Now with compile time extraction of field names from structs and enums using C++-20.
    9 projects | /r/cpp | 9 Dec 2023
    Category Theory for Programmers by Bartosz Milewski (https://github.com/hmemcpy/milewski-ctfp-pdf/releases)
  • Monads vs Classes
    3 projects | /r/Clojure | 9 Jun 2023
  • Ask HN: Math for Programmers?
    2 projects | news.ycombinator.com | 26 Mar 2023
  • Por que Elm é uma linguagem tão deliciosa?
    11 projects | dev.to | 28 Feb 2023
  • On Not Drinking the FP Kool-Aid
    6 projects | /r/functionalprogramming | 27 Jan 2023
    Bartosz Milewski said it well in his introduction to Category Theory for Programmers:
  • I am learning category theory
    3 projects | news.ycombinator.com | 30 Nov 2022
    My method was to spend 25 years listening to colleagues mumble about Category Theory and slowly picking up the basics. Even I didn't really use Category Theory in my abstraction work. It's just that after months of effort to crack my problem, I showed my pages of work to the Category Theory folks and they were like "oh, it's simply Yoneda this and Yoneda that and your proof can be done in 4 lines.".

    That said, if I had to guess at what would be effective at getting up to speed without spending 25 years, would be to checkout https://github.com/hmemcpy/milewski-ctfp-pdf Category Theory for Programmers. Milewski was one of those people who were like "Oh, it's simply Yoneda this and Yoneda that", and he figured it out all himself in parallel without seeing my proof.

    But I doubt it will be like, knowing Category Theory will enable you to have super powers for abstraction design. Rather it will be a matter of having enough mathematical tools at your disposal plus the right inspiration at the right time to realize that ones of those tools can happen to solve your abstraction programming problem you happen to be facing at some moment, in a way that is not obvious, if you are lucky. In fact, you likely have to first guess at what the right abstraction is and then fall back on Category Theory to verify the sanity of your guess.

    3 projects | news.ycombinator.com | 30 Nov 2022
    Well, will wind up being less tensor than peers to point of being tagged as tuple when you walk in; but still 'All about the block'.

    Independent of mathematical numerical systems used, everthing gets loaded at hoursX0000. Everything else after that is just bracket arrangements.

    https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

    https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf

  • Online courses that use, but don't teach, Haskell?
    2 projects | /r/haskell | 20 Nov 2022
    Category Theory for Programmers comes to mind.
  • Why Functional Programming Should Be the Future of Software
    11 projects | news.ycombinator.com | 2 Nov 2022
    That seems a little silly to me and I think we're splitting hairs with what it means to do category/set theory. I don't know category or set theory, so I hope you will forgive me for using yet another allegory.

    Let's say I make a type class for Groups (in the abstract algebra sense). The rationale behind this is that there's an algorithm for exponentiation which is O(log(n)) versus the naive O(n) algorithm. So if you make an instance that's a Group, you get to use this fast exponentiation.

    Sure, to understand and use this type class you have to understand what a Group is. However, I think it's a bit of a stretch to tell someone "in order to use Group you must first learn abstract algebra" because they'll think you're telling them to take a university level course. In actuality, they don't have to know much at all (they don't even need to understand _why_ the exponentiation algorithm works) - they just need to know what is a lawful Group.

    Like this is my understanding of Functors/Applicatives/Monads. I kind of know their shape and how to use them. If you asked me about any of the underlying math I would shrug and maybe draw a pig (https://bartoszmilewski.com/2014/10/28/category-theory-for-p...).

  • Understanding Haskells type system deeply
    2 projects | /r/haskell | 12 Aug 2022

What are some alternatives?

When comparing dotnet-script and milewski-ctfp-pdf you can also consider the following projects:

.NET-Obfuscator - Lists of .NET Obfuscator (Free, Freemium, Paid and Open Source )

ScriptCS - Write C# apps with a text editor, nuget and the power of Roslyn!

cs-script - C# scripting platform

omnisharp-vim - Vim omnicompletion (intellisense) and more for C#

Introducing .NET Multi-platform App UI (MAUI) - .NET MAUI is the .NET Multi-platform App UI, a framework for building native device applications spanning mobile, tablet, and desktop.

Squirrel - An installation and update framework for Windows desktop apps

AutoUpdater.NET - AutoUpdater.NET is a class library that allows .NET developers to easily add auto update functionality to their classic desktop application projects.

RoslynPad - A cross-platform C# editor based on Roslyn and AvalonEdit

csharplang - The official repo for the design of the C# programming language

Visual Studio Community - GitHub Extension for Visual Studio

csx-script-sample - Um simples todo list desenvolvido com C# Script

semantic-source - Parsing, analyzing, and comparing source code across many languages