This is an example on how to use WPF and F# to do some simple physics using Verlet Integration.
The program creates a system of particles and constraints. Particles have inertia and is affected by gravity but their motion is also contrained by the constraints.
I tried to annotate the source code to help guide a developer familiar with languages like C#. If you have suggestions for how to improve it please leave a comment below.
| (* | |
| This is an F# interactive script to generate a JWT. You can use it as a reference for when you are generating JWT on | |
| your server for a client, for example. It is hard coded for symmetric signing (HS256), but can be modified for | |
| asymmetric signing RS256, see notes. | |
| *) | |
| #r "nuget: System.IdentityModel.Tokens.Jwt" | |
| open System | |
| open System.Text // for Encoding | |
| open System.IdentityModel.Tokens.Jwt // For JwtSecurityToken (Install it from Nuget) | |
| open System.Security.Claims // For Claim, ClaimTypes |
| namespace AddFSharpType | |
| module AddFSharpType = | |
| open System.IO | |
| open FSharp.Compiler.CodeAnalysis | |
| open System | |
| /// This is basically the compiler so we name it that way | |
| let compiler = FSharpChecker.Create() | |
| let AddFromFile (sourceFile : string) = |
This project is a tiny compiler for a very simple language consisting of boolean expression.
The language has two constants: 1 for true and 0 for false, and 4 logic gates:
! (not), & (and), | (or), and ^ (xor).
It can also use parentheses to manage priorities.
Here is its grammar in BNF format:
expr ::= "0" | "1"
| open Dash.NET; open Plotly.NET; open FSharp.Data; open Deedle; open System; open System.IO; open System.Text; open System.Text.RegularExpressions | |
| let req = Http.Request("https://finance.yahoo.com/quote/AMZN/history?p=AMZN",httpMethod=HttpMethod.Get) | |
| let body = match req.Body with | HttpResponseBody.Text b -> b | |
| let crumb = Regex("CrumbStore\":{\"crumb\":\"(?<crumb>.+?)\"}").Match(body).Groups.["crumb"].Value | |
| let cookie = req.Cookies.["B"] | |
| let getDf ticker : Frame<System.DateTime,string> = | |
| let response = | |
| Http.RequestString( |
| module ProtobufSerializationTests | |
| open System | |
| open System.IO | |
| open ProtoBuf | |
| open Xunit | |
| module ProtoBufUtils = | |
| [<ProtoContract>] |
This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/
the command zig run my_code.zig will compile and immediately run your Zig
program. Each of these cells contains a zig program that you can try to run
(some of them contain compile-time errors that you can comment out to play
with)
| local dart_capabilities = vim.lsp.protocol.make_client_capabilities() | |
| dart_capabilities.textDocument.codeAction = { | |
| dynamicRegistration = false; | |
| codeActionLiteralSupport = { | |
| codeActionKind = { | |
| valueSet = { | |
| "", | |
| "quickfix", | |
| "refactor", | |
| "refactor.extract", |
| // NOTE: import this Nuget package: TaskBuilder.fs (written using 2.1.0) | |
| // | |
| // Tested in LINQPad (hence Dump method usage). | |
| open System | |
| open System.Collections | |
| open System.Collections.Generic | |
| open System.Diagnostics | |
| open System.Linq | |
| open System.Threading |
