This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module AlgorithmW | |
// HINDLEY-MILNER TYPE INFERENCE | |
// Based on http://catamorph.de/documents/AlgorithmW.pdf | |
// (Now at http://web.archive.org/web/20170704013532/http://catamorph.de/documents/AlgorithmW.pdf) | |
type Lit = | |
| LInt of int | |
| LBool of bool |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// | |
// Copyright (c) 2013-2015 Frank A. Krueger | |
// | |
// Permission is hereby granted, free of charge, to any person obtaining a copy | |
// of this software and associated documentation files (the "Software"), to deal | |
// in the Software without restriction, including without limitation the rights | |
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
// copies of the Software, and to permit persons to whom the Software is | |
// furnished to do so, subject to the following conditions: | |
// |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Globe : Scene | |
{ | |
const double PI = Math.PI; | |
const double DegToRad = PI / 180.0; | |
public const double EarthRadius = 2.0; | |
const double EarthFlattening = 1.0/298.257223563; | |
const double EarthFF = (1.0 - EarthFlattening) * (1.0 - EarthFlattening); | |
public const double CameraDistance = 50.0; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$00965170 Rage.AI.NavigationMesh..navSectorData | |
$009687CC Rage.AI.NavigationMesh.navAABB.GetMax | |
$009687F8 Rage.AI.NavigationMesh.navAABB.GetMin | |
$00967C18 Rage.AI.NavigationMesh.navMesh.addInnerBlocks | |
$00967CD0 Rage.AI.NavigationMesh.navMesh.Create | |
$00967E8C Rage.AI.NavigationMesh.navMesh.getCenterPoint | |
$00968524 Rage.AI.NavigationMesh.navPoly.getVertexCount | |
$009685B0 Rage.AI.NavigationMesh.navPoly.setVertexCount | |
$0096D4D8 Rage.Audio2.IO.Bank..TRageAudio2BankContainer | |
$00977C70 Rage.Audio2.IO.Container..TBaseRageAudio2File |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"name": "Dark Continuous", | |
"version": "1.0", | |
"description": "Dark and Vibrant from Continuous for the iPad", | |
"originator": "Frank A. Krueger", | |
"palette": [ | |
{ "name": "cont-white", "value": "#F2F2F8" }, | |
{ "name": "cont-selection", "value": "#4B5566" }, | |
{ "name": "cont-background", "value": "#282A2E" }, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- name: Import Apple Certificate | |
uses: apple-actions/import-codesign-certs@v1 | |
with: | |
create-keychain: true | |
keychain-password: ${{ secrets.APPSTORE_CERTIFICATE_P12_PASSWORD }} | |
p12-file-base64: ${{ secrets.APPSTORE_CERTIFICATE_P12 }} | |
p12-password: ${{ secrets.APPSTORE_CERTIFICATE_P12_PASSWORD }} | |
- name: Import Mac Installer Certificate | |
uses: apple-actions/import-codesign-certs@v1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using System; | |
using System.Runtime.InteropServices; | |
namespace Circuit | |
{ | |
public static class Dsp | |
{ | |
class FftSetupD : IDisposable | |
{ | |
public IntPtr Handle; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using System; | |
using System.Net; | |
using System.IO; | |
using Gdk; | |
namespace TileSticher | |
{ | |
class App | |
{ | |
public static int Main (string[] args) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#nullable enable | |
using System; | |
using System.Collections.Generic; | |
using System.IO; | |
using System.Net.Http; | |
using System.Threading; | |
using System.Threading.Tasks; | |
using Foundation; | |
using Metal; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Neural.CoreMLSupport | |
open Data | |
open Neural.Layers | |
open CoreML.Specification | |
open FSharp.NativeInterop | |
#nowarn "9" | |
let rec modelDataFromCoreML (min : System.IO.Stream) : ModelData = |
NewerOlder