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
" | |
" | |
" Vim/Nvim configuration | |
" | |
" https://github.com/tpope/vim-fugitive | |
" https://github.com/udalov/kotlin-vim | |
" https://github.com/junegunn/vim-plug | |
" https://github.com/puremourning/vimspector | |
" |
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
/* | |
* The contents of this file is free and unencumbered software released into the | |
* public domain. For more information, please refer to <http://unlicense.org/> | |
*/ | |
@file:OptIn(KordVoice::class, ObsoleteCoroutinesApi::class) | |
package gragas.play | |
import com.sedmelluq.discord.lavaplayer.player.AudioLoadResultHandler |
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
import andesite.protocol.ProtocolPacket | |
import andesite.protocol.extractPacketId | |
import andesite.protocol.java.JavaPacket | |
import andesite.protocol.readVarInt | |
import andesite.protocol.serialization.MinecraftCodec | |
import andesite.protocol.writeVarInt | |
import io.ktor.network.sockets.Socket | |
import io.ktor.network.sockets.openReadChannel | |
import io.ktor.network.sockets.openWriteChannel | |
import io.ktor.utils.io.core.buildPacket |
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
package ekko.typing | |
import ekko.tree.Alt | |
import ekko.tree.EAbs | |
import ekko.tree.EApp | |
import ekko.tree.EGroup | |
import ekko.tree.ELet | |
import ekko.tree.ELit | |
import ekko.tree.EVar | |
import ekko.tree.Exp |
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
/* | |
* Rox is a simple object oriented language with non static typing | |
* Copyright (C) 2022 Gabrielle Guimarães de Oliveira | |
* | |
* This program is free software: you can redistribute it and/or modify | |
* it under the terms of the GNU General Public License as published by | |
* the Free Software Foundation, either version 3 of the License, or | |
* (at your option) any later version. | |
* | |
* This program is distributed in the hope that it will be useful, |
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
package ekko.tree | |
/** | |
* Type schemes are used to describe qualified types. | |
* Each TGen that appears in [qual] represents a generic that the kind is given | |
* by `[kinds] !! n`. | |
*/ | |
data class Scheme(val kinds: List<Kind>, val qual: Qual<Typ>) { | |
companion object { | |
fun forall(vararg args: Kind) = fun(qual: Qual<Typ>): Scheme { |
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
package ekko.tree | |
/** | |
* Types can be quantified by adding a list of predicates [predicates], to restrict | |
* the ways in which type variables is instantiated. | |
* | |
* Example of `Num a => a`(in haskell): | |
* ```kt | |
* val predicates = listOf(IsIn(TVar(Ident("a", KStar), Ident("Num")))) | |
* |
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
import pickle | |
import os | |
from google_auth_oauthlib.flow import Flow, InstalledAppFlow | |
from googleapiclient.discovery import build | |
from googleapiclient.http import MediaFileUpload, MediaIoBaseDownload | |
from google.auth.transport.requests import Request | |
def Create_Service(client_secret_file, api_name, api_version, *scopes): | |
print(client_secret_file, api_name, api_version, scopes, sep='-') |
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
sealed class Json { | |
data class Array(val items: Collection<Json>) : Json() | |
data class Object(val fields: Map<String, Json>) : Json() | |
data class Text(val text: String) : Json() | |
data class Numeric(val numeric: Double) : Json() | |
sealed class Bool(val bool: Boolean) : Json() { | |
object True : Bool(true) { | |
override fun toString(): String = "False" | |
} |
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
// Simple programming language | |
// Copyright (C) 2022 Gabrielle | |
// | |
// This program is free software: you can redistribute it and/or modify | |
// it under the terms of the GNU General Public License as published by | |
// the Free Software Foundation, either version 3 of the License, or | |
// (at your option) any later version. | |
// | |
// This program is distributed in the hope that it will be useful, | |
// but WITHOUT ANY WARRANTY; without even the implied warranty of |
OlderNewer