Coder Social home page Coder Social logo

migueldeicaza / diffsharp Goto Github PK

View Code? Open in Web Editor NEW

This project forked from diffsharp/diffsharp

0.0 0.0 0.0 136.13 MB

DiffSharp: Differentiable Functional Programming

Home Page: http://diffsharp.github.io

F# 99.81% Dockerfile 0.01% Python 0.09% HTML 0.09%

diffsharp's Introduction

Hi there ๐Ÿ‘‹

These days

I am working at Xibbon building fun mobile applications like Godot for iPad, La Terminal, El Pintador, some RealityKit/VisionOS libraries.

These days, when I am hacking for pleasure, I mostly do it in Swift:

Past

I have been involved in the open source world for many years, starting sometime around 1990-1991 or so.

Some of the project I started:

  • The Midnight Commander File Manager for Unix

  • Started the GNOME project, along Federico Mena.

  • Created the Gnumeric spreadsheet

  • Founded Ximian, which we sold to Novell in 2003, and we built:

    • Evolution an Email and Calendar app for Linux
    • Red Carpet software management suite
    • Mono: an open source implementation of .NET
      • I managed the team, and designed core pieces, and wrote most of the original C# compiler.
    • At Novell, we believed that Linux on the Desktop was the future, and we built both Gtk# (a Gtk+ binding to .NET) and many (by those days' standards) desktop applications for Linux (F-Spot, for photo management; Dashboard as an early live assistant; Beagle, for searching; Banshee, our desktop music player).
    • Started Moonlight, in a 21-day hack-a-thon which later would get funded by Microsoft and Novell.
    • Did everything in my power to get and keep Unity on the .NET ecosystem, and that is why we have C# in all those games now.
  • Founded Xamarin, a company focused on bringing C# to mobile platforms, which we sold to Microsoft in 2016.

I served on a few boards:

  • Free Software Foundation
  • Gnome Foundation
  • Outercurve Foundation
  • .NET Foundation

Participated in some international standards:

  • ECMA Common Intermediate Language
  • ECMA C#

Crashed a few parties and a few conferences.

At Novell, I was VP for the Developer Platform, and built Xamarin out of the ashes of Novell's hostile takeover.

At Microsoft, I was a Distinguished Engineer working on Xamarin and .NET, and later on Microsoft's Azure and AI efforts. I loved working with the .NET team and the C# language design team. I got a few things in the language that I am particularly proud of:

I left Microsoft in 2022.

Some of my C# repositories in GitHub:

  • XtermSharp
  • gui.cs: this project started as a two-day joke, and is now a popular UI toolkit for consoles.
  • Mono - the VM and the class libraries are now just part of upstream .NET
  • TensorFlowSharp - no longer maintained, there are better TensorFlow alternatives.
  • TorchSharp - PyTorch bindings to .NET, now developed by the .NET foundation

diffsharp's People

Contributors

barak avatar cgravill avatar dsyme avatar gbaydin avatar kevmal avatar migueldeicaza avatar mrakgr avatar pkese avatar rwe avatar smoothdeveloper avatar soma-kurisu avatar visualmelon avatar

Watchers

 avatar  avatar  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.