Our great sponsors
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
-
VisualFSharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
The Rust Programming Language: Rust, a programming language focused on memory safety without sacrificing speed.
Simple Directmedia Layer: a library that offers low-level access to resources like audio, video graphics, joystick, keyboard, mouse. It is mainly used for the development of video games (Stepmania and Valve's games such as Counter Strike: Source, as some examples).
Simple Directmedia Layer: a library that offers low-level access to resources like audio, video graphics, joystick, keyboard, mouse. It is mainly used for the development of video games (Stepmania and Valve's games such as Counter Strike: Source, as some examples).
The Nim Programming Language: Nim, a programming language that offers several features from languages like Python, Ada, and Modula, while also retaining the speed of languages like C and C++. One of the most interesting features of Nim is the capability of metaprogramming, since it lets you modify the Abstract Syntax Tree of a program, a feature that is more powerful than C's preprocessor.
The F# Programming Language: I consider F# as the functional-oriented sibling of C#. This language offers a nice introduction to statically-typed functional programming. It offers a really nice ML-like syntax, as well as some features like type providers (a way to define a schema for data such as a database table, JSON file, etc.).
SQLite: SQLite is an SQL implementation of an embeddable database; to be more clear, instead of having a database running as a program on a computer that listens for connections, queries, and the like, it is instead a database that can be part of the application itself. Thus, a program that stores data can make use of SQLite to deal with the management of such data, while still being lightweight since it doesn't have all of the baggage that a normal RDBMS has. I like the way the SQLite team puts it:
The Legend of Zelda: Ocarina of Time decompilation: this project gets the machine code found in the original cartridge of the game and translates it to C code. While it does not involve the heavy process that software development has, it is an entertaining process if one enjoys retro gaming.
Citra: Nintendo 3DS emulator: An emulator that tries to replicate the capabilities of the Nintendo 3DS console.
Project64: Nintendo 64 emulator: An emulator that tries to replicate the capabilities of the Nintendo 64 console.
Emacs: Emacs, the text editor that can work as an operating system, also caught my interest after I started to use and learn about it. Emacs' philosophy to be as extendable as possible is what inspired me first to get more involved in open source and customize what I had access to. Keep in mind that this is not the original repository.
Program verification, as a rough description, is about creating a program that can verify another program's behaviour. The way a user might verify the behaviour of a program is by constructing a mathematical proof on how the program behaves. This is a really interesting field for mathematically-inclined programmers. Also, this can be considered a form of quality assurance. It does not replace automated or manual testing, but instead gives more guarantees that the code works as it should. The project that I am interested on is F*.