Olá, pessoal!
Estamos à procura de um(a) desenvolvedor(a) sênior com experiência em programação funcional e interesse em desenvolvimento de jogos!
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
| query { | |
| characters { | |
| results { | |
| name | |
| gender | |
| status | |
| } | |
| } | |
| } |
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
| { | |
| "data": { | |
| "characters": { | |
| "results": [ | |
| { | |
| "name": "Rick Sanchez", | |
| "gender": "Male", | |
| "status": "Alive" | |
| }, | |
| { |
dellamora
/ vaga-desenvolvedor-senior.md
Last active
July 17, 2024 00:52
Vaga: Desenvolvedor(a) com Experiência em Programação Funcional [PJ] [REMOTO] [Gamedev]
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
| -- Type | |
| module Data.U64.Type where | |
| open import Data.Nat.Type | |
| open import Data.Bool.Type | |
| -- Represents a 64-bit machine word. | |
| postulate U64 : Set | |
| {-# BUILTIN WORD64 U64 #-} |
dellamora
/ workout.txt
Last active
October 1, 2024 14:43
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
| Weekly Workout Plan | |
| Monday: Glutes and Legs | |
| 1. Barbell Squats - 4 sets of 10-12 reps | |
| 2. Lunges (with dumbbells) - 3 sets of 10-12 reps (each leg) | |
| 3. Abductor Machine - 3 sets of 12-15 reps | |
| 4. Stiff-Legged Deadlift - 4 sets of 10-12 reps | |
| 5. Hip Thrusts - 3 sets of 12-15 reps |
dellamora
/ topological.txt
Last active
October 2, 2024 19:43
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
| 0 ARC/DSL/Functions/add.agda | |
| 0 ARC/DSL/Functions/apply.agda | |
| 0 ARC/DSL/Functions/compose.agda | |
| 0 ARC/DSL/Functions/container-to-list.agda | |
| 0 ARC/DSL/Functions/dedupe.agda | |
| 0 ARC/DSL/Functions/equality.agda | |
| 0 ARC/DSL/Functions/first.agda | |
| 0 ARC/DSL/Functions/greater.agda | |
| 0 ARC/DSL/Functions/int-cmp.agda | |
| 0 ARC/DSL/Functions/leastcommon.agda |
dellamora
/ poggers.md
Created
October 2, 2024 20:00
dellamora
/ gist:51d602f65dba34da04969e300567d998
Created
October 2, 2024 21:10
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
| File: UG/SM/remove-future-states.agda | |
| Dependencies: | |
| Base/Nat/Nat.agda | |
| Base/Nat/add.agda | |
| UG/SM/SM.agda | |
| UG/SM/StateLogs/StateLogs.agda | |
| UG/SM/StateLogs/find-rollback-amount.agda | |
| UG/SM/StateLogs/rollback.agda | |
| UG/SM/Tick/Tick.agda |
dellamora
/ poggers.md
Created
October 2, 2024 21:16
- Base/Empty/Empty.agda
- Base/Unit/Unit.agda
- Base/Bool/Bool.agda
- Base/Char/Char.agda
- Base/Nat/Nat.agda
- Base/String/String.agda
- Base/List/List.agda
- Base/Maybe/Maybe.agda
- Base/Pair/Pair.agda
- Base/Equal/Equal.agda
dellamora
/ dellamora.md
Created
October 9, 2024 00:09
OlderNewer