MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Turing machine equivalentsHaskellUniversal turing machinePrologMetamathFunctional programmingQuantum programmingKaleidoscopeIdrisQ sharpConstraint programmingNon-structured programmingFortranNeural turing machineCyclCamlC syntaxConcatenative programming languageProgram synthesisAd hoc polymorphismCodd's cellular automatonOntology languageSuperconducting quantum computingComputer programProgramming language theoryTuring awardLolcodeCoinductionSteane codeSat solverAcl2Computer programmingPurely functional data structureType classFredkin gateInformaticsCometProgrammable calculatorObject pascalComputerGene expression programmingConsProgramming languageTuring completenessMetapostDigital electronic computerBcplHigh-level assemblerPseudocodeProcedural programmingComputational linguisticsPascalComputer goPl/iStandard mlHigh-level programming languagePaillier cryptosystemJanusOutline of computer scienceLispFormal specificationFormal methodsFormula editorSymbolBanburismusDafnyMatrix representationOpenqasmLinear bounded automatonConstructed languageFranca idlInterpreter patternAutomatic programmingSilicon compilerHistory of softwareAutomata-based programmingCompilerComputer architecture simulatorComputer othelloSystems programmingAdvanced chessComparison of assemblersArithmetic logic unitSecd machineC data typesFirst-class functionJava virtual machineAbstract machineExtensible programmingGpssComputational complexityData typeExternal variableControl flow analysisSolverComposite data typeAutodesk arnoldPurely functional programmingAssemblySeparation logic